; benchmark generated from python API
(set-info :status unknown)
(declare-fun back_top_kid_0_feasible () Bool)
(declare-fun icon_tbl_kid_17_feasible () Bool)
(declare-fun icon_tbl_kid_16_feasible () Bool)
(declare-fun icon_tbl_kid_15_feasible () Bool)
(declare-fun icon_tbl_kid_14_feasible () Bool)
(declare-fun icon_tbl_kid_13_feasible () Bool)
(declare-fun icon_tbl_kid_12_feasible () Bool)
(declare-fun icon_tbl_kid_11_feasible () Bool)
(declare-fun icon_tbl_kid_10_feasible () Bool)
(declare-fun icon_tbl_kid_9_feasible () Bool)
(declare-fun icon_tbl_kid_8_feasible () Bool)
(declare-fun icon_tbl_kid_7_feasible () Bool)
(declare-fun icon_tbl_kid_6_feasible () Bool)
(declare-fun icon_tbl_kid_5_feasible () Bool)
(declare-fun icon_tbl_kid_4_feasible () Bool)
(declare-fun icon_tbl_kid_3_feasible () Bool)
(declare-fun icon_tbl_kid_2_feasible () Bool)
(declare-fun icon_tbl_kid_1_feasible () Bool)
(declare-fun icon_tbl_kid_0_feasible () Bool)
(declare-fun occation_pics_kid_3_feasible () Bool)
(declare-fun occation_pics_kid_2_feasible () Bool)
(declare-fun occation_pics_kid_1_feasible () Bool)
(declare-fun occation_pics_kid_0_feasible () Bool)
(declare-fun occation_pics_feasible () Bool)
(declare-fun occation_title_feasible () Bool)
(declare-fun basic_right_bottom_kid_4_feasible () Bool)
(declare-fun basic_right_bottom_kid_3_feasible () Bool)
(declare-fun basic_right_bottom_kid_2_feasible () Bool)
(declare-fun basic_right_bottom_kid_1_feasible () Bool)
(declare-fun basic_right_bottom_kid_0_feasible () Bool)
(declare-fun basic_right_pic_kid_1_feasible () Bool)
(declare-fun basic_right_pic_feasible () Bool)
(declare-fun basic_right_pic_kid_0_feasible () Bool)
(declare-fun basic_right_bottom_feasible () Bool)
(declare-fun basic_right_pic_holder_feasible () Bool)
(declare-fun staple_items_kid_6_feasible () Bool)
(declare-fun staple_items_kid_5_feasible () Bool)
(declare-fun staple_items_kid_4_feasible () Bool)
(declare-fun staple_items_kid_3_feasible () Bool)
(declare-fun staple_items_kid_2_feasible () Bool)
(declare-fun staple_items_kid_1_feasible () Bool)
(declare-fun staple_items_kid_0_feasible () Bool)
(declare-fun spring_edit_thin_kid_0_feasible () Bool)
(declare-fun spring_edit_thin_feasible () Bool)
(declare-fun spring_edit_kid_1_feasible () Bool)
(declare-fun spring_edit_feasible () Bool)
(declare-fun spring_edit_kid_0_feasible () Bool)
(declare-fun fashion_sales_kid_5_feasible () Bool)
(declare-fun fashion_sales_kid_4_feasible () Bool)
(declare-fun fashion_sales_kid_3_feasible () Bool)
(declare-fun fashion_sales_kid_2_feasible () Bool)
(declare-fun fashion_sales_kid_1_feasible () Bool)
(declare-fun fashion_sales_kid_0_feasible () Bool)
(declare-fun icon_tbl_feasible () Bool)
(declare-fun shop_occation_feasible () Bool)
(declare-fun basic_right_feasible () Bool)
(declare-fun staple_items_feasible () Bool)
(declare-fun staples_feasible () Bool)
(declare-fun spring_edit_holder_feasible () Bool)
(declare-fun fashion_sales_feasible () Bool)
(declare-fun main_title_feasible () Bool)
(declare-fun main_feasible () Bool)
(declare-fun side_bar_feasible () Bool)
(declare-fun title_bg_kid_8_feasible () Bool)
(declare-fun title_bg_kid_7_feasible () Bool)
(declare-fun title_bg_kid_6_feasible () Bool)
(declare-fun title_bg_kid_5_feasible () Bool)
(declare-fun title_bg_kid_4_feasible () Bool)
(declare-fun title_bg_kid_3_feasible () Bool)
(declare-fun title_bg_kid_2_feasible () Bool)
(declare-fun title_bg_kid_1_feasible () Bool)
(declare-fun title_bg_kid_0_feasible () Bool)
(declare-fun back_top_feasible () Bool)
(declare-fun main_body_feasible () Bool)
(declare-fun title_bg_feasible () Bool)
(declare-fun back_ground_feasible () Bool)
(declare-fun back_top_kid_0_width () Real)
(declare-fun back_top_kid_0_hight () Real)
(declare-fun back_top_hight () Real)
(declare-fun back_top_kid_0_y () Real)
(declare-fun back_top_y () Real)
(declare-fun back_top_width () Real)
(declare-fun back_top_kid_0_x () Real)
(declare-fun back_top_x () Real)
(declare-fun back_ground_x () Real)
(declare-fun icon_tbl_kid_17_hight () Real)
(declare-fun icon_tbl_kid_17_width () Real)
(declare-fun icon_tbl_kid_16_width () Real)
(declare-fun icon_tbl_kid_16_hight () Real)
(declare-fun icon_tbl_kid_15_width () Real)
(declare-fun icon_tbl_kid_15_hight () Real)
(declare-fun icon_tbl_kid_14_width () Real)
(declare-fun icon_tbl_kid_14_hight () Real)
(declare-fun icon_tbl_kid_13_width () Real)
(declare-fun icon_tbl_kid_13_hight () Real)
(declare-fun icon_tbl_kid_12_hight () Real)
(declare-fun icon_tbl_kid_12_width () Real)
(declare-fun icon_tbl_kid_11_width () Real)
(declare-fun icon_tbl_kid_11_hight () Real)
(declare-fun icon_tbl_kid_10_hight () Real)
(declare-fun icon_tbl_kid_10_width () Real)
(declare-fun icon_tbl_kid_9_width () Real)
(declare-fun icon_tbl_kid_9_hight () Real)
(declare-fun icon_tbl_kid_8_width () Real)
(declare-fun icon_tbl_kid_8_hight () Real)
(declare-fun icon_tbl_kid_7_width () Real)
(declare-fun icon_tbl_kid_7_hight () Real)
(declare-fun icon_tbl_kid_6_width () Real)
(declare-fun icon_tbl_kid_6_hight () Real)
(declare-fun icon_tbl_kid_5_hight () Real)
(declare-fun icon_tbl_kid_5_width () Real)
(declare-fun icon_tbl_kid_4_hight () Real)
(declare-fun icon_tbl_kid_4_width () Real)
(declare-fun icon_tbl_kid_3_hight () Real)
(declare-fun icon_tbl_kid_3_width () Real)
(declare-fun icon_tbl_kid_2_width () Real)
(declare-fun icon_tbl_kid_2_hight () Real)
(declare-fun icon_tbl_kid_1_width () Real)
(declare-fun icon_tbl_kid_1_hight () Real)
(declare-fun icon_tbl_kid_0_width () Real)
(declare-fun icon_tbl_kid_0_hight () Real)
(declare-fun icon_tbl_kid_12_y () Real)
(declare-fun icon_tbl_kid_6_y () Real)
(declare-fun icon_tbl_kid_0_y () Real)
(declare-fun icon_tbl_kid_5_x () Real)
(declare-fun icon_tbl_kid_4_x () Real)
(declare-fun icon_tbl_kid_3_x () Real)
(declare-fun icon_tbl_kid_2_x () Real)
(declare-fun icon_tbl_kid_1_x () Real)
(declare-fun icon_tbl_kid_0_x () Real)
(declare-fun icon_tbl_kid_17_x () Real)
(declare-fun icon_tbl_kid_11_x () Real)
(declare-fun icon_tbl_kid_16_x () Real)
(declare-fun icon_tbl_kid_10_x () Real)
(declare-fun icon_tbl_kid_15_x () Real)
(declare-fun icon_tbl_kid_9_x () Real)
(declare-fun icon_tbl_kid_14_x () Real)
(declare-fun icon_tbl_kid_8_x () Real)
(declare-fun icon_tbl_kid_13_x () Real)
(declare-fun icon_tbl_kid_7_x () Real)
(declare-fun icon_tbl_kid_12_x () Real)
(declare-fun icon_tbl_kid_6_x () Real)
(declare-fun icon_tbl_kid_17_y () Real)
(declare-fun icon_tbl_kid_16_y () Real)
(declare-fun icon_tbl_kid_15_y () Real)
(declare-fun icon_tbl_kid_14_y () Real)
(declare-fun icon_tbl_kid_13_y () Real)
(declare-fun icon_tbl_kid_11_y () Real)
(declare-fun icon_tbl_kid_10_y () Real)
(declare-fun icon_tbl_kid_9_y () Real)
(declare-fun icon_tbl_kid_8_y () Real)
(declare-fun icon_tbl_kid_7_y () Real)
(declare-fun icon_tbl_kid_5_y () Real)
(declare-fun icon_tbl_kid_4_y () Real)
(declare-fun icon_tbl_kid_3_y () Real)
(declare-fun icon_tbl_kid_2_y () Real)
(declare-fun icon_tbl_kid_1_y () Real)
(declare-fun icon_tbl_hight () Real)
(declare-fun icon_tbl_y () Real)
(declare-fun icon_tbl_x () Real)
(declare-fun icon_tbl_width () Real)
(declare-fun fashion_sales_width () Real)
(declare-fun fashion_sales_x () Real)
(declare-fun occation_pics_kid_3_width () Real)
(declare-fun occation_pics_kid_3_hight () Real)
(declare-fun occation_pics_kid_2_hight () Real)
(declare-fun occation_pics_kid_2_width () Real)
(declare-fun occation_pics_kid_1_width () Real)
(declare-fun occation_pics_kid_1_hight () Real)
(declare-fun occation_pics_kid_0_hight () Real)
(declare-fun occation_pics_kid_0_width () Real)
(declare-fun occation_pics_y () Real)
(declare-fun occation_pics_kid_3_y () Real)
(declare-fun occation_pics_hight () Real)
(declare-fun occation_pics_kid_2_y () Real)
(declare-fun occation_pics_kid_1_y () Real)
(declare-fun occation_pics_kid_0_y () Real)
(declare-fun occation_pics_kid_3_x () Real)
(declare-fun occation_pics_width () Real)
(declare-fun occation_pics_x () Real)
(declare-fun occation_pics_kid_0_x () Real)
(declare-fun occation_pics_kid_2_x () Real)
(declare-fun occation_pics_kid_1_x () Real)
(declare-fun shop_occation_width () Real)
(declare-fun shop_occation_x () Real)
(declare-fun occation_title_x () Real)
(declare-fun occation_title_hight () Real)
(declare-fun occation_title_width () Real)
(declare-fun occation_title_y () Real)
(declare-fun shop_occation_hight () Real)
(declare-fun shop_occation_y () Real)
(declare-fun basic_right_bottom_hight () Real)
(declare-fun basic_right_bottom_kid_4_width () Real)
(declare-fun basic_right_bottom_kid_0_width () Real)
(declare-fun basic_right_bottom_kid_3_width () Real)
(declare-fun basic_right_bottom_kid_2_width () Real)
(declare-fun basic_right_bottom_kid_1_width () Real)
(declare-fun basic_right_bottom_kid_3_x () Real)
(declare-fun basic_right_bottom_kid_4_x () Real)
(declare-fun basic_right_bottom_kid_2_x () Real)
(declare-fun basic_right_bottom_kid_1_x () Real)
(declare-fun basic_right_bottom_kid_0_x () Real)
(declare-fun basic_right_bottom_y () Real)
(declare-fun basic_right_bottom_kid_4_hight () Real)
(declare-fun basic_right_bottom_kid_4_y () Real)
(declare-fun basic_right_bottom_kid_3_hight () Real)
(declare-fun basic_right_bottom_kid_3_y () Real)
(declare-fun basic_right_bottom_kid_2_hight () Real)
(declare-fun basic_right_bottom_kid_2_y () Real)
(declare-fun basic_right_bottom_kid_1_hight () Real)
(declare-fun basic_right_bottom_kid_1_y () Real)
(declare-fun basic_right_bottom_kid_0_hight () Real)
(declare-fun basic_right_bottom_kid_0_y () Real)
(declare-fun basic_right_bottom_width () Real)
(declare-fun basic_right_bottom_x () Real)
(declare-fun basic_right_pic_kid_0_width () Real)
(declare-fun basic_right_pic_kid_1_width () Real)
(declare-fun basic_right_pic_kid_0_x () Real)
(declare-fun basic_right_pic_kid_1_x () Real)
(declare-fun basic_right_pic_kid_1_y () Real)
(declare-fun basic_right_pic_hight () Real)
(declare-fun basic_right_pic_y () Real)
(declare-fun basic_right_pic_kid_1_hight () Real)
(declare-fun basic_right_pic_kid_0_hight () Real)
(declare-fun basic_right_pic_kid_0_y () Real)
(declare-fun basic_right_pic_x () Real)
(declare-fun basic_right_pic_width () Real)
(declare-fun basic_right_pic_holder_width () Real)
(declare-fun basic_right_pic_holder_hight () Real)
(declare-fun basic_right_pic_thin_feasible () Bool)
(declare-fun basic_right_pic_holder_y () Real)
(declare-fun basic_right_pic_thin_hight () Real)
(declare-fun basic_right_pic_thin_y () Real)
(declare-fun basic_right_pic_holder_x () Real)
(declare-fun basic_right_pic_thin_width () Real)
(declare-fun basic_right_pic_thin_x () Real)
(declare-fun basic_right_y () Real)
(declare-fun basic_right_hight () Real)
(declare-fun basic_right_width () Real)
(declare-fun basic_right_x () Real)
(declare-fun staple_items_width () Real)
(declare-fun staple_items_x () Real)
(declare-fun staple_items_kid_6_hight () Real)
(declare-fun staple_items_kid_6_width () Real)
(declare-fun staple_items_kid_5_width () Real)
(declare-fun staple_items_kid_5_hight () Real)
(declare-fun staple_items_kid_4_width () Real)
(declare-fun staple_items_kid_4_hight () Real)
(declare-fun staple_items_kid_3_width () Real)
(declare-fun staple_items_kid_3_hight () Real)
(declare-fun staple_items_kid_2_width () Real)
(declare-fun staple_items_kid_2_hight () Real)
(declare-fun staple_items_kid_1_hight () Real)
(declare-fun staple_items_kid_1_width () Real)
(declare-fun staple_items_kid_0_width () Real)
(declare-fun staple_items_kid_0_hight () Real)
(declare-fun staple_items_kid_5_x () Real)
(declare-fun staple_items_kid_6_x () Real)
(declare-fun staple_items_kid_4_x () Real)
(declare-fun staple_items_kid_3_x () Real)
(declare-fun staple_items_kid_2_x () Real)
(declare-fun staple_items_kid_1_x () Real)
(declare-fun staple_items_kid_0_x () Real)
(declare-fun staple_items_y () Real)
(declare-fun staple_items_kid_6_y () Real)
(declare-fun staple_items_hight () Real)
(declare-fun staple_items_kid_5_y () Real)
(declare-fun staple_items_kid_4_y () Real)
(declare-fun staple_items_kid_3_y () Real)
(declare-fun staple_items_kid_2_y () Real)
(declare-fun staple_items_kid_1_y () Real)
(declare-fun staple_items_kid_0_y () Real)
(declare-fun staples_x () Real)
(declare-fun staples_hight () Real)
(declare-fun staples_width () Real)
(declare-fun spring_edit_thin_kid_0_y () Real)
(declare-fun spring_edit_thin_hight () Real)
(declare-fun spring_edit_thin_y () Real)
(declare-fun spring_edit_thin_kid_0_hight () Real)
(declare-fun spring_edit_thin_width () Real)
(declare-fun spring_edit_thin_x () Real)
(declare-fun spring_edit_thin_kid_0_width () Real)
(declare-fun spring_edit_thin_kid_0_x () Real)
(declare-fun spring_edit_kid_0_width () Real)
(declare-fun spring_edit_kid_1_width () Real)
(declare-fun spring_edit_kid_0_x () Real)
(declare-fun spring_edit_kid_1_x () Real)
(declare-fun spring_edit_hight () Real)
(declare-fun spring_edit_y () Real)
(declare-fun spring_edit_kid_1_hight () Real)
(declare-fun spring_edit_kid_1_y () Real)
(declare-fun spring_edit_kid_0_hight () Real)
(declare-fun spring_edit_kid_0_y () Real)
(declare-fun spring_edit_x () Real)
(declare-fun spring_edit_width () Real)
(declare-fun spring_edit_holder_width () Real)
(declare-fun spring_edit_holder_hight () Real)
(declare-fun spring_edit_holder_x () Real)
(declare-fun main_width () Real)
(declare-fun main_x () Real)
(declare-fun spring_edit_holder_y () Real)
(declare-fun fashion_sales_kid_5_hight () Real)
(declare-fun fashion_sales_kid_5_width () Real)
(declare-fun fashion_sales_kid_4_width () Real)
(declare-fun fashion_sales_kid_4_hight () Real)
(declare-fun fashion_sales_kid_3_width () Real)
(declare-fun fashion_sales_kid_3_hight () Real)
(declare-fun fashion_sales_kid_2_width () Real)
(declare-fun fashion_sales_kid_2_hight () Real)
(declare-fun fashion_sales_kid_1_width () Real)
(declare-fun fashion_sales_kid_1_hight () Real)
(declare-fun fashion_sales_kid_0_width () Real)
(declare-fun fashion_sales_kid_0_hight () Real)
(declare-fun fashion_sales_kid_4_x () Real)
(declare-fun fashion_sales_kid_5_x () Real)
(declare-fun fashion_sales_kid_3_x () Real)
(declare-fun fashion_sales_kid_2_x () Real)
(declare-fun fashion_sales_kid_1_x () Real)
(declare-fun fashion_sales_kid_0_x () Real)
(declare-fun fashion_sales_hight () Real)
(declare-fun fashion_sales_kid_5_y () Real)
(declare-fun fashion_sales_y () Real)
(declare-fun fashion_sales_kid_4_y () Real)
(declare-fun fashion_sales_kid_3_y () Real)
(declare-fun fashion_sales_kid_2_y () Real)
(declare-fun fashion_sales_kid_1_y () Real)
(declare-fun fashion_sales_kid_0_y () Real)
(declare-fun main_title_x () Real)
(declare-fun main_title_width () Real)
(declare-fun main_title_hight () Real)
(declare-fun staples_y () Real)
(declare-fun main_title_y () Real)
(declare-fun main_hight () Real)
(declare-fun main_y () Real)
(declare-fun side_bar_width () Real)
(declare-fun side_bar_x () Real)
(declare-fun main_body_x () Real)
(declare-fun main_body_hight () Real)
(declare-fun main_body_y () Real)
(declare-fun side_bar_y () Real)
(declare-fun side_bar_hight () Real)
(declare-fun main_body_width () Real)
(declare-fun title_bg_kid_8_y () Real)
(declare-fun title_bg_hight () Real)
(declare-fun title_bg_y () Real)
(declare-fun title_bg_kid_8_hight () Real)
(declare-fun title_bg_kid_7_hight () Real)
(declare-fun title_bg_kid_7_y () Real)
(declare-fun title_bg_kid_6_hight () Real)
(declare-fun title_bg_kid_6_y () Real)
(declare-fun title_bg_kid_5_hight () Real)
(declare-fun title_bg_kid_5_y () Real)
(declare-fun title_bg_kid_4_hight () Real)
(declare-fun title_bg_kid_4_y () Real)
(declare-fun title_bg_kid_3_hight () Real)
(declare-fun title_bg_kid_3_y () Real)
(declare-fun title_bg_kid_2_y () Real)
(declare-fun title_bg_kid_2_hight () Real)
(declare-fun title_bg_kid_1_y () Real)
(declare-fun title_bg_kid_1_hight () Real)
(declare-fun title_bg_kid_0_hight () Real)
(declare-fun title_bg_kid_0_y () Real)
(declare-fun title_bg_kid_0_width () Real)
(declare-fun title_bg_kid_8_width () Real)
(declare-fun title_bg_kid_7_width () Real)
(declare-fun title_bg_kid_6_width () Real)
(declare-fun title_bg_kid_5_width () Real)
(declare-fun title_bg_kid_4_width () Real)
(declare-fun title_bg_kid_3_width () Real)
(declare-fun title_bg_kid_2_width () Real)
(declare-fun title_bg_kid_1_width () Real)
(declare-fun title_bg_kid_0_x () Real)
(declare-fun title_bg_kid_7_x () Real)
(declare-fun title_bg_kid_1_x () Real)
(declare-fun title_bg_kid_8_x () Real)
(declare-fun title_bg_kid_6_x () Real)
(declare-fun title_bg_kid_5_x () Real)
(declare-fun title_bg_kid_4_x () Real)
(declare-fun title_bg_kid_3_x () Real)
(declare-fun title_bg_kid_2_x () Real)
(declare-fun title_bg_x () Real)
(declare-fun title_bg_width () Real)
(declare-fun back_ground_y () Real)
(declare-fun BC_y () Real)
(declare-fun back_ground_hight () Real)
(declare-fun back_ground_width () Real)
(declare-fun BC_width () Real)
(declare-fun BC_x () Real)
(declare-fun BC_feasible () Bool)
(declare-fun BC_hight () Real)
(assert
 (let (($x1665 (not basic_right_pic_feasible)))
 (let (($x2397 (or $x1665 basic_right_pic_kid_1_feasible)))
 (let (($x2395 (not basic_right_pic_kid_1_feasible)))
 (let (($x2396 (or $x2395 basic_right_pic_feasible)))
 (let (($x2394 (or $x1665 basic_right_pic_kid_0_feasible)))
 (let (($x2392 (not basic_right_pic_kid_0_feasible)))
 (let (($x2393 (or $x2392 basic_right_pic_feasible)))
 (let (($x1252 (not spring_edit_thin_feasible)))
 (let (($x2391 (or $x1252 spring_edit_thin_kid_0_feasible)))
 (let (($x2389 (not spring_edit_thin_kid_0_feasible)))
 (let (($x2390 (or $x2389 spring_edit_thin_feasible)))
 (let (($x1235 (not spring_edit_feasible)))
 (let (($x2388 (or $x1235 spring_edit_kid_1_feasible)))
 (let (($x2386 (not spring_edit_kid_1_feasible)))
 (let (($x2387 (or $x2386 spring_edit_feasible)))
 (let (($x2385 (or $x1235 spring_edit_kid_0_feasible)))
 (let (($x2383 (not spring_edit_kid_0_feasible)))
 (let (($x2384 (or $x2383 spring_edit_feasible)))
 (let (($x2382 (= back_top_kid_0_width 100.0)))
 (let ((?x2380 (+ (- (+ (- back_top_y) back_top_kid_0_y) back_top_hight) back_top_kid_0_hight)))
 (let (($x2381 (= ?x2380 (- 10.0))))
 (let ((?x2372 (+ (- back_top_y) back_top_kid_0_y)))
 (let (($x2378 (= ?x2372 10.0)))
 (let ((?x2376 (- (+ (- back_top_y back_top_kid_0_y) back_top_hight) back_top_kid_0_hight)))
 (let (($x2377 (>= ?x2376 10.0)))
 (let (($x2373 (>= ?x2372 10.0)))
 (let ((?x2369 (+ (- (+ (- back_top_kid_0_width) back_top_x) back_top_kid_0_x) back_top_width)))
 (let (($x2370 (>= ?x2369 10.0)))
 (let (($x2365 (>= (+ (- back_top_x) back_top_kid_0_x) 10.0)))
 (let ((?x2359 (* 2.0 back_top_kid_0_x)))
 (let ((?x2361 (- (+ (- back_top_kid_0_width (* 2.0 back_top_x)) ?x2359) back_top_width)))
 (let (($x2362 (= ?x2361 0.0)))
 (let (($x2356 (= back_top_hight 70.0)))
 (let ((?x432 (- back_ground_x)))
 (let ((?x437 (+ ?x432 back_top_x)))
 (let (($x438 (= ?x437 0.0)))
 (let (($x2354 (>= back_top_kid_0_hight 0.0)))
 (let (($x2353 (>= back_top_kid_0_width 0.0)))
 (let (($x2352 (>= back_top_kid_0_y 0.0)))
 (let (($x2351 (>= back_top_kid_0_x 0.0)))
 (let (($x2350 (= (+ (- icon_tbl_kid_17_width) (* 2.0 icon_tbl_kid_17_hight)) 0.0)))
 (let (($x2346 (= (- (* 2.0 icon_tbl_kid_16_hight) icon_tbl_kid_16_width) 0.0)))
 (let (($x2343 (= (- (* 2.0 icon_tbl_kid_15_hight) icon_tbl_kid_15_width) 0.0)))
 (let (($x2340 (= (- (* 2.0 icon_tbl_kid_14_hight) icon_tbl_kid_14_width) 0.0)))
 (let (($x2337 (= (- (* 2.0 icon_tbl_kid_13_hight) icon_tbl_kid_13_width) 0.0)))
 (let (($x2334 (= (+ (- icon_tbl_kid_12_width) (* 2.0 icon_tbl_kid_12_hight)) 0.0)))
 (let (($x2331 (= (- (* 2.0 icon_tbl_kid_11_hight) icon_tbl_kid_11_width) 0.0)))
 (let (($x2328 (= (+ (- icon_tbl_kid_10_width) (* 2.0 icon_tbl_kid_10_hight)) 0.0)))
 (let (($x2324 (= (- (* 2.0 icon_tbl_kid_9_hight) icon_tbl_kid_9_width) 0.0)))
 (let (($x2321 (= (- (* 2.0 icon_tbl_kid_8_hight) icon_tbl_kid_8_width) 0.0)))
 (let (($x2318 (= (- (* 2.0 icon_tbl_kid_7_hight) icon_tbl_kid_7_width) 0.0)))
 (let (($x2315 (= (- (* 2.0 icon_tbl_kid_6_hight) icon_tbl_kid_6_width) 0.0)))
 (let (($x2312 (= (+ (- icon_tbl_kid_5_width) (* 2.0 icon_tbl_kid_5_hight)) 0.0)))
 (let (($x2309 (= (+ (- icon_tbl_kid_4_width) (* 2.0 icon_tbl_kid_4_hight)) 0.0)))
 (let (($x2306 (= (+ (- icon_tbl_kid_3_width) (* 2.0 icon_tbl_kid_3_hight)) 0.0)))
 (let (($x2303 (= (- (* 2.0 icon_tbl_kid_2_hight) icon_tbl_kid_2_width) 0.0)))
 (let (($x2300 (= (- (* 2.0 icon_tbl_kid_1_hight) icon_tbl_kid_1_width) 0.0)))
 (let (($x2297 (= (- (* 2.0 icon_tbl_kid_0_hight) icon_tbl_kid_0_width) 0.0)))
 (let (($x2294 (= (+ (- icon_tbl_kid_5_width) icon_tbl_kid_0_width) 0.0)))
 (let (($x2291 (= (+ (- icon_tbl_kid_4_width) icon_tbl_kid_0_width) 0.0)))
 (let (($x2288 (= (+ (- icon_tbl_kid_3_width) icon_tbl_kid_0_width) 0.0)))
 (let (($x2285 (= (+ (- icon_tbl_kid_2_width) icon_tbl_kid_0_width) 0.0)))
 (let (($x2282 (= (- icon_tbl_kid_0_width icon_tbl_kid_1_width) 0.0)))
 (let (($x2280 (= (- icon_tbl_kid_0_hight icon_tbl_kid_12_hight) 0.0)))
 (let (($x2278 (= (- icon_tbl_kid_0_hight icon_tbl_kid_6_hight) 0.0)))
 (let ((?x2275 (+ (- (- (- 10.0) icon_tbl_kid_6_y) icon_tbl_kid_6_hight) icon_tbl_kid_12_y)))
 (let (($x2276 (= ?x2275 0.0)))
 (let ((?x2271 (- (+ (- (- 10.0) icon_tbl_kid_0_y) icon_tbl_kid_6_y) icon_tbl_kid_0_hight)))
 (let (($x2272 (= ?x2271 0.0)))
 (let ((?x2267 (+ (- (- (- 10.0) icon_tbl_kid_4_width) icon_tbl_kid_4_x) icon_tbl_kid_5_x)))
 (let (($x2268 (= ?x2267 0.0)))
 (let ((?x2263 (+ (- (- (- 10.0) icon_tbl_kid_3_x) icon_tbl_kid_3_width) icon_tbl_kid_4_x)))
 (let (($x2264 (= ?x2263 0.0)))
 (let ((?x2259 (- (- (+ (- 10.0) icon_tbl_kid_3_x) icon_tbl_kid_2_x) icon_tbl_kid_2_width)))
 (let (($x2260 (= ?x2259 0.0)))
 (let ((?x2255 (- (+ (- (- 10.0) icon_tbl_kid_1_x) icon_tbl_kid_2_x) icon_tbl_kid_1_width)))
 (let (($x2256 (= ?x2255 0.0)))
 (let ((?x2251 (- (- (+ (- 10.0) icon_tbl_kid_1_x) icon_tbl_kid_0_x) icon_tbl_kid_0_width)))
 (let (($x2252 (= ?x2251 0.0)))
 (let (($x2248 (= (- icon_tbl_kid_5_width icon_tbl_kid_17_width) 0.0)))
 (let (($x2246 (= (+ (- icon_tbl_kid_17_x) icon_tbl_kid_5_x) 0.0)))
 (let (($x2243 (= (- icon_tbl_kid_5_width icon_tbl_kid_11_width) 0.0)))
 (let (($x2241 (= (+ (- icon_tbl_kid_11_x) icon_tbl_kid_5_x) 0.0)))
 (let (($x2238 (= (- icon_tbl_kid_4_width icon_tbl_kid_16_width) 0.0)))
 (let (($x2236 (= (+ (- icon_tbl_kid_16_x) icon_tbl_kid_4_x) 0.0)))
 (let (($x2233 (= (- icon_tbl_kid_4_width icon_tbl_kid_10_width) 0.0)))
 (let (($x2231 (= (- icon_tbl_kid_4_x icon_tbl_kid_10_x) 0.0)))
 (let (($x2229 (= (- icon_tbl_kid_3_width icon_tbl_kid_15_width) 0.0)))
 (let (($x2227 (= (- icon_tbl_kid_3_x icon_tbl_kid_15_x) 0.0)))
 (let (($x2225 (= (- icon_tbl_kid_3_width icon_tbl_kid_9_width) 0.0)))
 (let (($x2223 (= (- icon_tbl_kid_3_x icon_tbl_kid_9_x) 0.0)))
 (let (($x2221 (= (- icon_tbl_kid_2_width icon_tbl_kid_14_width) 0.0)))
 (let (($x2219 (= (- icon_tbl_kid_2_x icon_tbl_kid_14_x) 0.0)))
 (let (($x2217 (= (- icon_tbl_kid_2_width icon_tbl_kid_8_width) 0.0)))
 (let (($x2215 (= (+ (- icon_tbl_kid_8_x) icon_tbl_kid_2_x) 0.0)))
 (let (($x2212 (= (- icon_tbl_kid_1_width icon_tbl_kid_13_width) 0.0)))
 (let (($x2210 (= (- icon_tbl_kid_1_x icon_tbl_kid_13_x) 0.0)))
 (let (($x2208 (= (+ (- icon_tbl_kid_7_width) icon_tbl_kid_1_width) 0.0)))
 (let (($x2205 (= (- icon_tbl_kid_1_x icon_tbl_kid_7_x) 0.0)))
 (let (($x2203 (= (+ (- icon_tbl_kid_12_width) icon_tbl_kid_0_width) 0.0)))
 (let (($x2200 (= (- icon_tbl_kid_0_x icon_tbl_kid_12_x) 0.0)))
 (let (($x2198 (= (- icon_tbl_kid_0_width icon_tbl_kid_6_width) 0.0)))
 (let (($x2196 (= (- icon_tbl_kid_0_x icon_tbl_kid_6_x) 0.0)))
 (let (($x2194 (= (- icon_tbl_kid_12_hight icon_tbl_kid_17_hight) 0.0)))
 (let (($x2192 (= (- icon_tbl_kid_12_y icon_tbl_kid_17_y) 0.0)))
 (let (($x2190 (= (+ (- icon_tbl_kid_16_hight) icon_tbl_kid_12_hight) 0.0)))
 (let (($x2187 (= (- icon_tbl_kid_12_y icon_tbl_kid_16_y) 0.0)))
 (let (($x2185 (= (+ (- icon_tbl_kid_15_hight) icon_tbl_kid_12_hight) 0.0)))
 (let (($x2182 (= (- icon_tbl_kid_12_y icon_tbl_kid_15_y) 0.0)))
 (let (($x2180 (= (+ (- icon_tbl_kid_14_hight) icon_tbl_kid_12_hight) 0.0)))
 (let (($x2177 (= (+ (- icon_tbl_kid_14_y) icon_tbl_kid_12_y) 0.0)))
 (let (($x2174 (= (+ (- icon_tbl_kid_13_hight) icon_tbl_kid_12_hight) 0.0)))
 (let (($x2171 (= (+ (- icon_tbl_kid_13_y) icon_tbl_kid_12_y) 0.0)))
 (let (($x2168 (= (- icon_tbl_kid_6_hight icon_tbl_kid_11_hight) 0.0)))
 (let (($x2166 (= (- icon_tbl_kid_6_y icon_tbl_kid_11_y) 0.0)))
 (let (($x2164 (= (- icon_tbl_kid_6_hight icon_tbl_kid_10_hight) 0.0)))
 (let (($x2162 (= (- icon_tbl_kid_6_y icon_tbl_kid_10_y) 0.0)))
 (let (($x2160 (= (+ (- icon_tbl_kid_9_hight) icon_tbl_kid_6_hight) 0.0)))
 (let (($x2157 (= (- icon_tbl_kid_6_y icon_tbl_kid_9_y) 0.0)))
 (let (($x2155 (= (+ (- icon_tbl_kid_8_hight) icon_tbl_kid_6_hight) 0.0)))
 (let (($x2152 (= (+ (- icon_tbl_kid_8_y) icon_tbl_kid_6_y) 0.0)))
 (let (($x2149 (= (+ (- icon_tbl_kid_7_hight) icon_tbl_kid_6_hight) 0.0)))
 (let (($x2146 (= (+ (- icon_tbl_kid_7_y) icon_tbl_kid_6_y) 0.0)))
 (let (($x2143 (= (- icon_tbl_kid_0_hight icon_tbl_kid_5_hight) 0.0)))
 (let (($x2141 (= (- icon_tbl_kid_0_y icon_tbl_kid_5_y) 0.0)))
 (let (($x2139 (= (- icon_tbl_kid_0_hight icon_tbl_kid_4_hight) 0.0)))
 (let (($x2137 (= (- icon_tbl_kid_0_y icon_tbl_kid_4_y) 0.0)))
 (let (($x2135 (= (- icon_tbl_kid_0_hight icon_tbl_kid_3_hight) 0.0)))
 (let (($x2133 (= (- icon_tbl_kid_0_y icon_tbl_kid_3_y) 0.0)))
 (let (($x2131 (= (+ (- icon_tbl_kid_2_hight) icon_tbl_kid_0_hight) 0.0)))
 (let (($x2128 (= (- icon_tbl_kid_0_y icon_tbl_kid_2_y) 0.0)))
 (let (($x2126 (= (- icon_tbl_kid_0_hight icon_tbl_kid_1_hight) 0.0)))
 (let (($x2124 (= (- icon_tbl_kid_0_y icon_tbl_kid_1_y) 0.0)))
 (let ((?x2121 (+ (- (+ (- icon_tbl_y) icon_tbl_kid_17_y) icon_tbl_hight) icon_tbl_kid_17_hight)))
 (let (($x2122 (= ?x2121 0.0)))
 (let ((?x2117 (- (+ (- icon_tbl_kid_17_x icon_tbl_width) icon_tbl_kid_17_width) icon_tbl_x)))
 (let (($x2118 (= ?x2117 0.0)))
 (let (($x2114 (= (- icon_tbl_kid_0_y icon_tbl_y) 0.0)))
 (let (($x2112 (= (- icon_tbl_kid_0_x icon_tbl_x) 0.0)))
 (let (($x2110 (= (- icon_tbl_width fashion_sales_width) 0.0)))
 (let (($x2108 (= (+ (- fashion_sales_x) icon_tbl_x) 0.0)))
 (let (($x2106 (>= icon_tbl_kid_17_hight 0.0)))
 (let (($x2105 (>= icon_tbl_kid_17_width 0.0)))
 (let (($x2104 (>= icon_tbl_kid_17_y 0.0)))
 (let (($x2103 (>= icon_tbl_kid_17_x 0.0)))
 (let (($x2102 (>= icon_tbl_kid_16_hight 0.0)))
 (let (($x2101 (>= icon_tbl_kid_16_width 0.0)))
 (let (($x2100 (>= icon_tbl_kid_16_y 0.0)))
 (let (($x2099 (>= icon_tbl_kid_16_x 0.0)))
 (let (($x2098 (>= icon_tbl_kid_15_hight 0.0)))
 (let (($x2097 (>= icon_tbl_kid_15_width 0.0)))
 (let (($x2096 (>= icon_tbl_kid_15_y 0.0)))
 (let (($x2095 (>= icon_tbl_kid_15_x 0.0)))
 (let (($x2094 (>= icon_tbl_kid_14_hight 0.0)))
 (let (($x2093 (>= icon_tbl_kid_14_width 0.0)))
 (let (($x2092 (>= icon_tbl_kid_14_y 0.0)))
 (let (($x2091 (>= icon_tbl_kid_14_x 0.0)))
 (let (($x2090 (>= icon_tbl_kid_13_hight 0.0)))
 (let (($x2089 (>= icon_tbl_kid_13_width 0.0)))
 (let (($x2088 (>= icon_tbl_kid_13_y 0.0)))
 (let (($x2087 (>= icon_tbl_kid_13_x 0.0)))
 (let (($x2086 (>= icon_tbl_kid_12_hight 0.0)))
 (let (($x2085 (>= icon_tbl_kid_12_width 0.0)))
 (let (($x2084 (>= icon_tbl_kid_12_y 0.0)))
 (let (($x2083 (>= icon_tbl_kid_12_x 0.0)))
 (let (($x2082 (>= icon_tbl_kid_11_hight 0.0)))
 (let (($x2081 (>= icon_tbl_kid_11_width 0.0)))
 (let (($x2080 (>= icon_tbl_kid_11_y 0.0)))
 (let (($x2079 (>= icon_tbl_kid_11_x 0.0)))
 (let (($x2078 (>= icon_tbl_kid_10_hight 0.0)))
 (let (($x2077 (>= icon_tbl_kid_10_width 0.0)))
 (let (($x2076 (>= icon_tbl_kid_10_y 0.0)))
 (let (($x2075 (>= icon_tbl_kid_10_x 0.0)))
 (let (($x2074 (>= icon_tbl_kid_9_hight 0.0)))
 (let (($x2073 (>= icon_tbl_kid_9_width 0.0)))
 (let (($x2072 (>= icon_tbl_kid_9_y 0.0)))
 (let (($x2071 (>= icon_tbl_kid_9_x 0.0)))
 (let (($x2070 (>= icon_tbl_kid_8_hight 0.0)))
 (let (($x2069 (>= icon_tbl_kid_8_width 0.0)))
 (let (($x2068 (>= icon_tbl_kid_8_y 0.0)))
 (let (($x2067 (>= icon_tbl_kid_8_x 0.0)))
 (let (($x2066 (>= icon_tbl_kid_7_hight 0.0)))
 (let (($x2065 (>= icon_tbl_kid_7_width 0.0)))
 (let (($x2064 (>= icon_tbl_kid_7_y 0.0)))
 (let (($x2063 (>= icon_tbl_kid_7_x 0.0)))
 (let (($x2062 (>= icon_tbl_kid_6_hight 0.0)))
 (let (($x2061 (>= icon_tbl_kid_6_width 0.0)))
 (let (($x2060 (>= icon_tbl_kid_6_y 0.0)))
 (let (($x2059 (>= icon_tbl_kid_6_x 0.0)))
 (let (($x2058 (>= icon_tbl_kid_5_hight 0.0)))
 (let (($x2057 (>= icon_tbl_kid_5_width 0.0)))
 (let (($x2056 (>= icon_tbl_kid_5_y 0.0)))
 (let (($x2055 (>= icon_tbl_kid_5_x 0.0)))
 (let (($x2054 (>= icon_tbl_kid_4_hight 0.0)))
 (let (($x2053 (>= icon_tbl_kid_4_width 0.0)))
 (let (($x2052 (>= icon_tbl_kid_4_y 0.0)))
 (let (($x2051 (>= icon_tbl_kid_4_x 0.0)))
 (let (($x2050 (>= icon_tbl_kid_3_hight 0.0)))
 (let (($x2049 (>= icon_tbl_kid_3_width 0.0)))
 (let (($x2048 (>= icon_tbl_kid_3_y 0.0)))
 (let (($x2047 (>= icon_tbl_kid_3_x 0.0)))
 (let (($x2046 (>= icon_tbl_kid_2_hight 0.0)))
 (let (($x2045 (>= icon_tbl_kid_2_width 0.0)))
 (let (($x2044 (>= icon_tbl_kid_2_y 0.0)))
 (let (($x2043 (>= icon_tbl_kid_2_x 0.0)))
 (let (($x2042 (>= icon_tbl_kid_1_hight 0.0)))
 (let (($x2041 (>= icon_tbl_kid_1_width 0.0)))
 (let (($x2040 (>= icon_tbl_kid_1_y 0.0)))
 (let (($x2039 (>= icon_tbl_kid_1_x 0.0)))
 (let (($x2038 (>= icon_tbl_kid_0_hight 0.0)))
 (let (($x2037 (>= icon_tbl_kid_0_width 0.0)))
 (let (($x2036 (>= icon_tbl_kid_0_y 0.0)))
 (let (($x2035 (>= icon_tbl_kid_0_x 0.0)))
 (let (($x2034 (= (- occation_pics_kid_3_hight occation_pics_kid_3_width) 0.0)))
 (let (($x2032 (= (+ (- occation_pics_kid_2_width) occation_pics_kid_2_hight) 0.0)))
 (let (($x2030 (= (- occation_pics_kid_1_hight occation_pics_kid_1_width) 0.0)))
 (let (($x2028 (= (+ (- occation_pics_kid_0_width) occation_pics_kid_0_hight) 0.0)))
 (let ((?x2023 (+ (+ (- occation_pics_hight) occation_pics_kid_3_y) occation_pics_kid_3_hight)))
 (let (($x2025 (= (- ?x2023 occation_pics_y) 0.0)))
 (let ((?x2019 (+ (+ (- occation_pics_hight) occation_pics_kid_2_y) occation_pics_kid_2_hight)))
 (let (($x2021 (= (- ?x2019 occation_pics_y) 0.0)))
 (let ((?x2015 (+ (- occation_pics_kid_1_hight occation_pics_hight) occation_pics_kid_1_y)))
 (let (($x2017 (= (- ?x2015 occation_pics_y) 0.0)))
 (let ((?x2011 (- (+ (- occation_pics_hight) occation_pics_kid_0_y) occation_pics_y)))
 (let (($x2013 (= (+ ?x2011 occation_pics_kid_0_hight) 0.0)))
 (let (($x2009 (= (- occation_pics_kid_3_y occation_pics_y) 0.0)))
 (let (($x2007 (= (- occation_pics_kid_2_y occation_pics_y) 0.0)))
 (let (($x2005 (= (- occation_pics_kid_1_y occation_pics_y) 0.0)))
 (let (($x2003 (= (- occation_pics_kid_0_y occation_pics_y) 0.0)))
 (let ((?x1999 (+ (- (- occation_pics_x) occation_pics_width) occation_pics_kid_3_x)))
 (let (($x2001 (= (+ ?x1999 occation_pics_kid_3_width) 0.0)))
 (let (($x1996 (= (- occation_pics_kid_0_x occation_pics_x) 0.0)))
 (let ((?x1993 (- (+ (- occation_pics_kid_2_width) occation_pics_kid_3_x) occation_pics_kid_2_x)))
 (let (($x1994 (= ?x1993 10.0)))
 (let ((?x1989 (+ (- (- occation_pics_kid_1_width) occation_pics_kid_1_x) occation_pics_kid_2_x)))
 (let (($x1990 (= ?x1989 10.0)))
 (let ((?x1985 (+ (- (- occation_pics_kid_0_x) occation_pics_kid_0_width) occation_pics_kid_1_x)))
 (let (($x1986 (= ?x1985 10.0)))
 (let ((?x1981 (+ (- (+ (- shop_occation_x) occation_pics_x) shop_occation_width) occation_pics_width)))
 (let (($x1982 (= ?x1981 0.0)))
 (let ((?x980 (- shop_occation_x)))
 (let ((?x1938 (+ ?x980 occation_pics_x)))
 (let (($x1979 (= ?x1938 0.0)))
 (let (($x1978 (>= occation_pics_kid_3_hight 0.0)))
 (let (($x1977 (>= occation_pics_kid_3_width 0.0)))
 (let (($x1976 (>= occation_pics_kid_3_y 0.0)))
 (let (($x1975 (>= occation_pics_kid_3_x 0.0)))
 (let (($x1974 (>= occation_pics_kid_2_hight 0.0)))
 (let (($x1973 (>= occation_pics_kid_2_width 0.0)))
 (let (($x1972 (>= occation_pics_kid_2_y 0.0)))
 (let (($x1971 (>= occation_pics_kid_2_x 0.0)))
 (let (($x1970 (>= occation_pics_kid_1_hight 0.0)))
 (let (($x1969 (>= occation_pics_kid_1_width 0.0)))
 (let (($x1968 (>= occation_pics_kid_1_y 0.0)))
 (let (($x1967 (>= occation_pics_kid_1_x 0.0)))
 (let (($x1966 (>= occation_pics_kid_0_hight 0.0)))
 (let (($x1965 (>= occation_pics_kid_0_width 0.0)))
 (let (($x1964 (>= occation_pics_kid_0_y 0.0)))
 (let (($x1963 (>= occation_pics_kid_0_x 0.0)))
 (let ((?x1925 (+ ?x980 occation_title_x)))
 (let (($x1962 (= ?x1925 0.0)))
 (let (($x1961 (= (+ (- 50.0) occation_title_hight) 0.0)))
 (let (($x1959 (= (+ (- 200.0) occation_title_width) 0.0)))
 (let ((?x1934 (- (- occation_title_y) occation_title_hight)))
 (let ((?x1951 (+ ?x1934 occation_pics_y)))
 (let (($x1957 (= ?x1951 10.0)))
 (let (($x1956 (= (+ (- fashion_sales_width) shop_occation_width) 0.0)))
 (let (($x1954 (= (- shop_occation_x fashion_sales_x) 0.0)))
 (let (($x1952 (>= ?x1951 0.0)))
 (let ((?x1949 (+ (- (+ (- occation_pics_hight) shop_occation_y) occation_pics_y) shop_occation_hight)))
 (let (($x1950 (>= ?x1949 0.0)))
 (let (($x1945 (>= (+ (- shop_occation_y) occation_pics_y) 0.0)))
 (let ((?x1942 (- (+ (- shop_occation_x occation_pics_x) shop_occation_width) occation_pics_width)))
 (let (($x1943 (>= ?x1942 0.0)))
 (let (($x1939 (>= ?x1938 0.0)))
 (let (($x1937 (>= (+ (+ ?x1934 shop_occation_y) shop_occation_hight) 0.0)))
 (let (($x1932 (>= (- occation_title_y shop_occation_y) 0.0)))
 (let ((?x1929 (- (- (+ shop_occation_x shop_occation_width) occation_title_x) occation_title_width)))
 (let (($x1930 (>= ?x1929 0.0)))
 (let (($x1926 (>= ?x1925 0.0)))
 (let (($x1924 (>= occation_pics_hight 0.0)))
 (let (($x1923 (>= occation_pics_width 0.0)))
 (let (($x1922 (>= occation_pics_y 0.0)))
 (let (($x1921 (>= occation_pics_x 0.0)))
 (let (($x1920 (>= occation_title_hight 0.0)))
 (let (($x1919 (>= occation_title_width 0.0)))
 (let (($x1918 (>= occation_title_y 0.0)))
 (let (($x1917 (>= occation_title_x 0.0)))
 (let (($x1916 (= basic_right_bottom_hight 50.0)))
 (let (($x1914 (= (- basic_right_bottom_kid_0_width basic_right_bottom_kid_4_width) 0.0)))
 (let (($x1912 (= (- basic_right_bottom_kid_0_width basic_right_bottom_kid_3_width) 0.0)))
 (let (($x1910 (= (+ (- basic_right_bottom_kid_2_width) basic_right_bottom_kid_0_width) 0.0)))
 (let (($x1908 (= (- basic_right_bottom_kid_0_width basic_right_bottom_kid_1_width) 0.0)))
 (let ((?x1875 (- (- basic_right_bottom_kid_4_x basic_right_bottom_kid_3_x) basic_right_bottom_kid_3_width)))
 (let (($x1906 (= ?x1875 10.0)))
 (let ((?x1872 (- (+ (- basic_right_bottom_kid_2_width) basic_right_bottom_kid_3_x) basic_right_bottom_kid_2_x)))
 (let (($x1905 (= ?x1872 10.0)))
 (let ((?x1868 (+ (- (- basic_right_bottom_kid_1_width) basic_right_bottom_kid_1_x) basic_right_bottom_kid_2_x)))
 (let (($x1904 (= ?x1868 10.0)))
 (let ((?x1864 (+ (- (- basic_right_bottom_kid_0_x) basic_right_bottom_kid_0_width) basic_right_bottom_kid_1_x)))
 (let (($x1903 (= ?x1864 10.0)))
 (let ((?x1900 (- (+ basic_right_bottom_kid_4_y basic_right_bottom_kid_4_hight) basic_right_bottom_y)))
 (let (($x1902 (= (- ?x1900 basic_right_bottom_hight) 0.0)))
 (let ((?x1896 (- (+ basic_right_bottom_kid_3_y basic_right_bottom_kid_3_hight) basic_right_bottom_y)))
 (let (($x1898 (= (- ?x1896 basic_right_bottom_hight) 0.0)))
 (let ((?x1831 (- basic_right_bottom_kid_2_y basic_right_bottom_y)))
 (let (($x1894 (= (- (+ ?x1831 basic_right_bottom_kid_2_hight) basic_right_bottom_hight) 0.0)))
 (let ((?x1818 (- basic_right_bottom_kid_1_y basic_right_bottom_y)))
 (let (($x1891 (= (+ (- ?x1818 basic_right_bottom_hight) basic_right_bottom_kid_1_hight) 0.0)))
 (let ((?x1807 (+ (- basic_right_bottom_y) basic_right_bottom_kid_0_y)))
 (let (($x1888 (= (+ (- ?x1807 basic_right_bottom_hight) basic_right_bottom_kid_0_hight) 0.0)))
 (let ((?x1855 (- basic_right_bottom_kid_4_y basic_right_bottom_y)))
 (let (($x1885 (= ?x1855 0.0)))
 (let ((?x1843 (- basic_right_bottom_kid_3_y basic_right_bottom_y)))
 (let (($x1884 (= ?x1843 0.0)))
 (let (($x1883 (= ?x1831 0.0)))
 (let (($x1882 (= ?x1818 0.0)))
 (let (($x1881 (= ?x1807 0.0)))
 (let ((?x1627 (- basic_right_bottom_x)))
 (let ((?x1628 (- ?x1627 basic_right_bottom_width)))
 (let (($x1880 (= (+ (+ ?x1628 basic_right_bottom_kid_4_x) basic_right_bottom_kid_4_width) 0.0)))
 (let ((?x1800 (+ ?x1627 basic_right_bottom_kid_0_x)))
 (let (($x1877 (= ?x1800 0.0)))
 (let (($x1876 (>= ?x1875 0.0)))
 (let (($x1873 (>= ?x1872 0.0)))
 (let (($x1869 (>= ?x1868 0.0)))
 (let (($x1865 (>= ?x1864 0.0)))
 (let ((?x1859 (+ (- (- basic_right_bottom_kid_4_y) basic_right_bottom_kid_4_hight) basic_right_bottom_y)))
 (let (($x1861 (>= (+ ?x1859 basic_right_bottom_hight) 0.0)))
 (let (($x1856 (>= ?x1855 0.0)))
 (let ((?x1647 (+ basic_right_bottom_x basic_right_bottom_width)))
 (let (($x1854 (>= (- (- ?x1647 basic_right_bottom_kid_4_x) basic_right_bottom_kid_4_width) 0.0)))
 (let (($x1851 (>= (+ ?x1627 basic_right_bottom_kid_4_x) 0.0)))
 (let ((?x1847 (+ (- (- basic_right_bottom_kid_3_y) basic_right_bottom_kid_3_hight) basic_right_bottom_y)))
 (let (($x1849 (>= (+ ?x1847 basic_right_bottom_hight) 0.0)))
 (let (($x1844 (>= ?x1843 0.0)))
 (let (($x1842 (>= (- (- ?x1647 basic_right_bottom_kid_3_x) basic_right_bottom_kid_3_width) 0.0)))
 (let (($x1839 (>= (+ ?x1627 basic_right_bottom_kid_3_x) 0.0)))
 (let ((?x1835 (- (+ (- basic_right_bottom_kid_2_y) basic_right_bottom_y) basic_right_bottom_kid_2_hight)))
 (let (($x1837 (>= (+ ?x1835 basic_right_bottom_hight) 0.0)))
 (let (($x1832 (>= ?x1831 0.0)))
 (let ((?x1828 (+ (- basic_right_bottom_x basic_right_bottom_kid_2_width) basic_right_bottom_width)))
 (let (($x1830 (>= (- ?x1828 basic_right_bottom_kid_2_x) 0.0)))
 (let (($x1826 (>= (+ ?x1627 basic_right_bottom_kid_2_x) 0.0)))
 (let ((?x1822 (+ (+ (- basic_right_bottom_kid_1_y) basic_right_bottom_y) basic_right_bottom_hight)))
 (let (($x1824 (>= (- ?x1822 basic_right_bottom_kid_1_hight) 0.0)))
 (let (($x1819 (>= ?x1818 0.0)))
 (let (($x1817 (>= (- (- ?x1647 basic_right_bottom_kid_1_width) basic_right_bottom_kid_1_x) 0.0)))
 (let (($x1814 (>= (+ ?x1627 basic_right_bottom_kid_1_x) 0.0)))
 (let ((?x1810 (+ (- basic_right_bottom_y basic_right_bottom_kid_0_y) basic_right_bottom_hight)))
 (let (($x1812 (>= (- ?x1810 basic_right_bottom_kid_0_hight) 0.0)))
 (let (($x1808 (>= ?x1807 0.0)))
 (let ((?x1803 (+ (- basic_right_bottom_x basic_right_bottom_kid_0_x) basic_right_bottom_width)))
 (let (($x1805 (>= (- ?x1803 basic_right_bottom_kid_0_width) 0.0)))
 (let (($x1801 (>= ?x1800 0.0)))
 (let (($x1799 (>= basic_right_bottom_kid_4_hight 0.0)))
 (let (($x1798 (>= basic_right_bottom_kid_4_width 0.0)))
 (let (($x1797 (>= basic_right_bottom_kid_4_y 0.0)))
 (let (($x1796 (>= basic_right_bottom_kid_4_x 0.0)))
 (let (($x1795 (>= basic_right_bottom_kid_3_hight 0.0)))
 (let (($x1794 (>= basic_right_bottom_kid_3_width 0.0)))
 (let (($x1793 (>= basic_right_bottom_kid_3_y 0.0)))
 (let (($x1792 (>= basic_right_bottom_kid_3_x 0.0)))
 (let (($x1791 (>= basic_right_bottom_kid_2_hight 0.0)))
 (let (($x1790 (>= basic_right_bottom_kid_2_width 0.0)))
 (let (($x1789 (>= basic_right_bottom_kid_2_y 0.0)))
 (let (($x1788 (>= basic_right_bottom_kid_2_x 0.0)))
 (let (($x1787 (>= basic_right_bottom_kid_1_hight 0.0)))
 (let (($x1786 (>= basic_right_bottom_kid_1_width 0.0)))
 (let (($x1785 (>= basic_right_bottom_kid_1_y 0.0)))
 (let (($x1784 (>= basic_right_bottom_kid_1_x 0.0)))
 (let (($x1783 (>= basic_right_bottom_kid_0_hight 0.0)))
 (let (($x1782 (>= basic_right_bottom_kid_0_width 0.0)))
 (let (($x1781 (>= basic_right_bottom_kid_0_y 0.0)))
 (let (($x1780 (>= basic_right_bottom_kid_0_x 0.0)))
 (let (($x1779 (>= basic_right_pic_kid_0_width 500.0)))
 (let (($x1777 (= (+ (- basic_right_pic_kid_1_width) basic_right_pic_kid_0_width) 0.0)))
 (let (($x1778 (or $x1665 $x1777)))
 (let ((?x1749 (- (- basic_right_pic_kid_1_x basic_right_pic_kid_0_x) basic_right_pic_kid_0_width)))
 (let (($x1774 (or $x1665 (= ?x1749 0.0))))
 (let ((?x1769 (- (- basic_right_pic_kid_1_hight basic_right_pic_y) basic_right_pic_hight)))
 (let (($x1772 (or $x1665 (= (+ ?x1769 basic_right_pic_kid_1_y) 0.0))))
 (let ((?x1721 (- basic_right_pic_kid_0_y basic_right_pic_y)))
 (let (($x1766 (= (- (+ ?x1721 basic_right_pic_kid_0_hight) basic_right_pic_hight) 0.0)))
 (let (($x1767 (or $x1665 $x1766)))
 (let (($x1763 (or $x1665 (= (+ (- basic_right_pic_y) basic_right_pic_kid_1_y) 0.0))))
 (let (($x1761 (or $x1665 (= ?x1721 0.0))))
 (let ((?x1756 (+ (+ (- basic_right_pic_width) basic_right_pic_kid_1_x) basic_right_pic_kid_1_width)))
 (let (($x1759 (or $x1665 (= (- ?x1756 basic_right_pic_x) 0.0))))
 (let (($x1753 (or $x1665 (= (- basic_right_pic_kid_0_x basic_right_pic_x) 0.0))))
 (let (($x1751 (or $x1665 (>= ?x1749 0.0))))
 (let ((?x1744 (+ (+ (- basic_right_pic_kid_1_hight) basic_right_pic_y) basic_right_pic_hight)))
 (let (($x1747 (or $x1665 (>= (- ?x1744 basic_right_pic_kid_1_y) 0.0))))
 (let (($x1741 (or $x1665 (>= (+ (- basic_right_pic_y) basic_right_pic_kid_1_y) 0.0))))
 (let ((?x1734 (- (- basic_right_pic_width basic_right_pic_kid_1_x) basic_right_pic_kid_1_width)))
 (let (($x1737 (or $x1665 (>= (+ ?x1734 basic_right_pic_x) 0.0))))
 (let (($x1732 (or $x1665 (>= (- basic_right_pic_kid_1_x basic_right_pic_x) 0.0))))
 (let ((?x1726 (- (+ (- basic_right_pic_kid_0_y) basic_right_pic_y) basic_right_pic_kid_0_hight)))
 (let (($x1729 (or $x1665 (>= (+ ?x1726 basic_right_pic_hight) 0.0))))
 (let (($x1723 (or $x1665 (>= ?x1721 0.0))))
 (let ((?x1717 (+ (- basic_right_pic_width basic_right_pic_kid_0_x) basic_right_pic_x)))
 (let (($x1720 (or $x1665 (>= (- ?x1717 basic_right_pic_kid_0_width) 0.0))))
 (let (($x1715 (or $x1665 (>= (- basic_right_pic_kid_0_x basic_right_pic_x) 0.0))))
 (let (($x1712 (>= basic_right_pic_kid_1_hight 0.0)))
 (let (($x1711 (>= basic_right_pic_kid_1_width 0.0)))
 (let (($x1710 (>= basic_right_pic_kid_1_y 0.0)))
 (let (($x1709 (>= basic_right_pic_kid_1_x 0.0)))
 (let (($x1708 (>= basic_right_pic_kid_0_hight 0.0)))
 (let (($x1707 (>= basic_right_pic_kid_0_width 0.0)))
 (let (($x1706 (>= basic_right_pic_kid_0_y 0.0)))
 (let (($x1705 (>= basic_right_pic_kid_0_x 0.0)))
 (let ((?x1702 (* 5.0 basic_right_pic_holder_hight)))
 (let (($x1704 (= (- ?x1702 basic_right_pic_holder_width) 0.0)))
 (let (($x1682 (not basic_right_pic_thin_feasible)))
 (let (($x1701 (or $x1665 $x1682)))
 (let (($x1700 (or basic_right_pic_feasible basic_right_pic_thin_feasible)))
 (let ((?x1696 (+ (+ (- basic_right_pic_holder_hight) basic_right_pic_thin_y) basic_right_pic_thin_hight)))
 (let (($x1699 (or $x1682 (= (- ?x1696 basic_right_pic_holder_y) 0.0))))
 (let (($x1694 (or $x1682 (= (- basic_right_pic_thin_y basic_right_pic_holder_y) 0.0))))
 (let ((?x1688 (+ (+ (- basic_right_pic_holder_width) basic_right_pic_thin_x) basic_right_pic_thin_width)))
 (let (($x1691 (or $x1682 (= (- ?x1688 basic_right_pic_holder_x) 0.0))))
 (let (($x1685 (or $x1682 (= (- basic_right_pic_thin_x basic_right_pic_holder_x) 0.0))))
 (let ((?x1678 (- (+ (- basic_right_pic_holder_hight) basic_right_pic_y) basic_right_pic_holder_y)))
 (let (($x1681 (or $x1665 (= (+ ?x1678 basic_right_pic_hight) 0.0))))
 (let (($x1676 (or $x1665 (= (- basic_right_pic_y basic_right_pic_holder_y) 0.0))))
 (let ((?x1670 (+ (- basic_right_pic_width basic_right_pic_holder_width) basic_right_pic_x)))
 (let (($x1673 (or $x1665 (= (- ?x1670 basic_right_pic_holder_x) 0.0))))
 (let (($x1668 (or $x1665 (= (- basic_right_pic_x basic_right_pic_holder_x) 0.0))))
 (let (($x1664 (>= basic_right_pic_thin_hight 0.0)))
 (let (($x1663 (>= basic_right_pic_thin_width 0.0)))
 (let (($x1662 (>= basic_right_pic_thin_y 0.0)))
 (let (($x1661 (>= basic_right_pic_thin_x 0.0)))
 (let (($x1660 (>= basic_right_pic_hight 0.0)))
 (let (($x1659 (>= basic_right_pic_width 0.0)))
 (let (($x1658 (>= basic_right_pic_y 0.0)))
 (let (($x1657 (>= basic_right_pic_x 0.0)))
 (let ((?x1639 (+ (- (- basic_right_pic_holder_hight) basic_right_pic_holder_y) basic_right_bottom_y)))
 (let (($x1656 (= ?x1639 10.0)))
 (let ((?x1653 (+ (+ (- basic_right_hight) basic_right_bottom_y) basic_right_bottom_hight)))
 (let (($x1655 (= (- ?x1653 basic_right_y) 0.0)))
 (let ((?x1618 (- basic_right_pic_holder_y basic_right_y)))
 (let (($x1651 (= ?x1618 0.0)))
 (let (($x1650 (= (- (- ?x1647 basic_right_x) basic_right_width) 0.0)))
 (let ((?x1644 (- (+ (- basic_right_x) basic_right_pic_holder_width) basic_right_width)))
 (let (($x1646 (= (+ ?x1644 basic_right_pic_holder_x) 0.0)))
 (let ((?x1625 (- basic_right_bottom_x basic_right_x)))
 (let (($x1642 (= ?x1625 0.0)))
 (let ((?x1611 (- basic_right_x)))
 (let ((?x1612 (+ ?x1611 basic_right_pic_holder_x)))
 (let (($x1641 (= ?x1612 0.0)))
 (let (($x1640 (>= ?x1639 0.0)))
 (let ((?x1635 (- (- basic_right_hight basic_right_bottom_y) basic_right_bottom_hight)))
 (let (($x1637 (>= (+ ?x1635 basic_right_y) 0.0)))
 (let (($x1633 (>= (- basic_right_bottom_y basic_right_y) 0.0)))
 (let (($x1631 (>= (+ (+ ?x1628 basic_right_x) basic_right_width) 0.0)))
 (let (($x1626 (>= ?x1625 0.0)))
 (let ((?x1622 (- (+ (- basic_right_pic_holder_hight) basic_right_hight) basic_right_pic_holder_y)))
 (let (($x1624 (>= (+ ?x1622 basic_right_y) 0.0)))
 (let (($x1619 (>= ?x1618 0.0)))
 (let ((?x1616 (- (+ (- basic_right_x basic_right_pic_holder_width) basic_right_width) basic_right_pic_holder_x)))
 (let (($x1617 (>= ?x1616 0.0)))
 (let (($x1613 (>= ?x1612 0.0)))
 (let (($x1610 (= (+ (- fashion_sales_width) basic_right_width) 0.0)))
 (let (($x1608 (= (- basic_right_x fashion_sales_x) 0.0)))
 (let (($x1606 (>= basic_right_bottom_hight 0.0)))
 (let (($x1605 (>= basic_right_bottom_width 0.0)))
 (let (($x1604 (>= basic_right_bottom_y 0.0)))
 (let (($x1603 (>= basic_right_bottom_x 0.0)))
 (let (($x1602 (>= basic_right_pic_holder_hight 0.0)))
 (let (($x1601 (>= basic_right_pic_holder_width 0.0)))
 (let (($x1600 (>= basic_right_pic_holder_y 0.0)))
 (let (($x1599 (>= basic_right_pic_holder_x 0.0)))
 (let (($x1598 (= (+ (- fashion_sales_width) staple_items_width) 0.0)))
 (let (($x1596 (= (- staple_items_x fashion_sales_x) 0.0)))
 (let (($x1594 (= (+ (- staple_items_kid_6_width) staple_items_kid_6_hight) 0.0)))
 (let (($x1591 (= (- staple_items_kid_5_hight staple_items_kid_5_width) 0.0)))
 (let (($x1589 (= (- staple_items_kid_4_hight staple_items_kid_4_width) 0.0)))
 (let (($x1587 (= (- staple_items_kid_3_hight staple_items_kid_3_width) 0.0)))
 (let (($x1585 (= (- staple_items_kid_2_hight staple_items_kid_2_width) 0.0)))
 (let (($x1583 (= (+ (- staple_items_kid_1_width) staple_items_kid_1_hight) 0.0)))
 (let (($x1581 (= (- staple_items_kid_0_hight staple_items_kid_0_width) 0.0)))
 (let ((?x1572 (- (- staple_items_kid_6_x staple_items_kid_5_x) staple_items_kid_5_width)))
 (let (($x1579 (= ?x1572 10.0)))
 (let ((?x1569 (- (- staple_items_kid_5_x staple_items_kid_4_x) staple_items_kid_4_width)))
 (let (($x1578 (= ?x1569 10.0)))
 (let ((?x1566 (- (+ (- staple_items_kid_3_x) staple_items_kid_4_x) staple_items_kid_3_width)))
 (let (($x1577 (= ?x1566 10.0)))
 (let ((?x1562 (- (- staple_items_kid_3_x staple_items_kid_2_x) staple_items_kid_2_width)))
 (let (($x1576 (= ?x1562 10.0)))
 (let ((?x1559 (- (+ (- staple_items_kid_1_width) staple_items_kid_2_x) staple_items_kid_1_x)))
 (let (($x1575 (= ?x1559 10.0)))
 (let ((?x1556 (+ (- (- staple_items_kid_0_width) staple_items_kid_0_x) staple_items_kid_1_x)))
 (let (($x1574 (= ?x1556 10.0)))
 (let (($x1573 (>= ?x1572 0.0)))
 (let (($x1570 (>= ?x1569 0.0)))
 (let (($x1567 (>= ?x1566 0.0)))
 (let (($x1563 (>= ?x1562 0.0)))
 (let (($x1560 (>= ?x1559 0.0)))
 (let (($x1557 (>= ?x1556 0.0)))
 (let ((?x1552 (- (+ (- staple_items_hight staple_items_kid_6_y) staple_items_y) staple_items_kid_6_hight)))
 (let (($x1553 (>= ?x1552 0.0)))
 (let ((?x1448 (- staple_items_kid_6_y staple_items_y)))
 (let (($x1549 (>= ?x1448 0.0)))
 (let ((?x1546 (- (+ (- staple_items_kid_6_x) staple_items_x) staple_items_kid_6_width)))
 (let (($x1548 (>= (+ ?x1546 staple_items_width) 0.0)))
 (let ((?x1431 (- staple_items_kid_6_x staple_items_x)))
 (let (($x1543 (>= ?x1431 0.0)))
 (let ((?x1541 (- (+ (- staple_items_hight staple_items_kid_5_hight) staple_items_y) staple_items_kid_5_y)))
 (let (($x1542 (>= ?x1541 0.0)))
 (let ((?x1446 (+ (- staple_items_y) staple_items_kid_5_y)))
 (let (($x1538 (>= ?x1446 0.0)))
 (let ((?x1536 (- (+ (- staple_items_x staple_items_kid_5_x) staple_items_width) staple_items_kid_5_width)))
 (let (($x1537 (>= ?x1536 0.0)))
 (let (($x1533 (>= (+ (- staple_items_x) staple_items_kid_5_x) 0.0)))
 (let ((?x1529 (- (- staple_items_hight staple_items_kid_4_y) staple_items_kid_4_hight)))
 (let (($x1531 (>= (+ ?x1529 staple_items_y) 0.0)))
 (let ((?x1443 (- staple_items_kid_4_y staple_items_y)))
 (let (($x1527 (>= ?x1443 0.0)))
 (let ((?x1525 (- (- (+ staple_items_x staple_items_width) staple_items_kid_4_x) staple_items_kid_4_width)))
 (let (($x1526 (>= ?x1525 0.0)))
 (let (($x1523 (>= (+ (- staple_items_x) staple_items_kid_4_x) 0.0)))
 (let ((?x1519 (- (- staple_items_hight staple_items_kid_3_y) staple_items_kid_3_hight)))
 (let (($x1521 (>= (+ ?x1519 staple_items_y) 0.0)))
 (let ((?x1441 (- staple_items_kid_3_y staple_items_y)))
 (let (($x1517 (>= ?x1441 0.0)))
 (let ((?x1515 (- (- (+ staple_items_x staple_items_width) staple_items_kid_3_x) staple_items_kid_3_width)))
 (let (($x1516 (>= ?x1515 0.0)))
 (let (($x1513 (>= (+ (- staple_items_x) staple_items_kid_3_x) 0.0)))
 (let ((?x1509 (- (- staple_items_hight staple_items_kid_2_y) staple_items_kid_2_hight)))
 (let (($x1511 (>= (+ ?x1509 staple_items_y) 0.0)))
 (let ((?x1439 (- staple_items_kid_2_y staple_items_y)))
 (let (($x1507 (>= ?x1439 0.0)))
 (let ((?x1505 (- (- (+ staple_items_x staple_items_width) staple_items_kid_2_x) staple_items_kid_2_width)))
 (let (($x1506 (>= ?x1505 0.0)))
 (let (($x1502 (>= (+ (- staple_items_x) staple_items_kid_2_x) 0.0)))
 (let ((?x1498 (- (- staple_items_hight staple_items_kid_1_y) staple_items_kid_1_hight)))
 (let (($x1500 (>= (+ ?x1498 staple_items_y) 0.0)))
 (let ((?x1437 (- staple_items_kid_1_y staple_items_y)))
 (let (($x1496 (>= ?x1437 0.0)))
 (let ((?x1493 (+ (+ (- staple_items_kid_1_width) staple_items_x) staple_items_width)))
 (let (($x1495 (>= (- ?x1493 staple_items_kid_1_x) 0.0)))
 (let (($x1490 (>= (+ (- staple_items_x) staple_items_kid_1_x) 0.0)))
 (let ((?x1486 (- (+ (- staple_items_kid_0_hight) staple_items_hight) staple_items_kid_0_y)))
 (let (($x1488 (>= (+ ?x1486 staple_items_y) 0.0)))
 (let ((?x1435 (- staple_items_kid_0_y staple_items_y)))
 (let (($x1483 (>= ?x1435 0.0)))
 (let ((?x1481 (- (+ (- staple_items_x staple_items_kid_0_width) staple_items_width) staple_items_kid_0_x)))
 (let (($x1482 (>= ?x1481 0.0)))
 (let ((?x1428 (- staple_items_x)))
 (let ((?x1429 (+ ?x1428 staple_items_kid_0_x)))
 (let (($x1478 (>= ?x1429 0.0)))
 (let ((?x1476 (+ (- (+ (- staple_items_hight) staple_items_kid_6_y) staple_items_y) staple_items_kid_6_hight)))
 (let (($x1477 (= ?x1476 0.0)))
 (let ((?x1471 (- (+ (- staple_items_hight) staple_items_kid_5_hight) staple_items_y)))
 (let (($x1473 (= (+ ?x1471 staple_items_kid_5_y) 0.0)))
 (let ((?x1467 (+ (+ (- staple_items_hight) staple_items_kid_4_y) staple_items_kid_4_hight)))
 (let (($x1469 (= (- ?x1467 staple_items_y) 0.0)))
 (let ((?x1463 (+ (+ (- staple_items_hight) staple_items_kid_3_y) staple_items_kid_3_hight)))
 (let (($x1465 (= (- ?x1463 staple_items_y) 0.0)))
 (let ((?x1459 (+ (+ (- staple_items_hight) staple_items_kid_2_y) staple_items_kid_2_hight)))
 (let (($x1461 (= (- ?x1459 staple_items_y) 0.0)))
 (let ((?x1455 (+ (+ (- staple_items_hight) staple_items_kid_1_y) staple_items_kid_1_hight)))
 (let (($x1457 (= (- ?x1455 staple_items_y) 0.0)))
 (let ((?x1451 (+ (- staple_items_kid_0_hight staple_items_hight) staple_items_kid_0_y)))
 (let (($x1453 (= (- ?x1451 staple_items_y) 0.0)))
 (let (($x1449 (= ?x1448 0.0)))
 (let (($x1447 (= ?x1446 0.0)))
 (let (($x1444 (= ?x1443 0.0)))
 (let (($x1442 (= ?x1441 0.0)))
 (let (($x1440 (= ?x1439 0.0)))
 (let (($x1438 (= ?x1437 0.0)))
 (let (($x1436 (= ?x1435 0.0)))
 (let (($x1434 (= (- (+ ?x1431 staple_items_kid_6_width) staple_items_width) 0.0)))
 (let (($x1430 (= ?x1429 0.0)))
 (let (($x1427 (>= staple_items_kid_6_hight 0.0)))
 (let (($x1426 (>= staple_items_kid_6_width 0.0)))
 (let (($x1425 (>= staple_items_kid_6_y 0.0)))
 (let (($x1424 (>= staple_items_kid_6_x 0.0)))
 (let (($x1423 (>= staple_items_kid_5_hight 0.0)))
 (let (($x1422 (>= staple_items_kid_5_width 0.0)))
 (let (($x1421 (>= staple_items_kid_5_y 0.0)))
 (let (($x1420 (>= staple_items_kid_5_x 0.0)))
 (let (($x1419 (>= staple_items_kid_4_hight 0.0)))
 (let (($x1418 (>= staple_items_kid_4_width 0.0)))
 (let (($x1417 (>= staple_items_kid_4_y 0.0)))
 (let (($x1416 (>= staple_items_kid_4_x 0.0)))
 (let (($x1415 (>= staple_items_kid_3_hight 0.0)))
 (let (($x1414 (>= staple_items_kid_3_width 0.0)))
 (let (($x1413 (>= staple_items_kid_3_y 0.0)))
 (let (($x1412 (>= staple_items_kid_3_x 0.0)))
 (let (($x1411 (>= staple_items_kid_2_hight 0.0)))
 (let (($x1410 (>= staple_items_kid_2_width 0.0)))
 (let (($x1409 (>= staple_items_kid_2_y 0.0)))
 (let (($x1408 (>= staple_items_kid_2_x 0.0)))
 (let (($x1407 (>= staple_items_kid_1_hight 0.0)))
 (let (($x1406 (>= staple_items_kid_1_width 0.0)))
 (let (($x1405 (>= staple_items_kid_1_y 0.0)))
 (let (($x1404 (>= staple_items_kid_1_x 0.0)))
 (let (($x1403 (>= staple_items_kid_0_hight 0.0)))
 (let (($x1402 (>= staple_items_kid_0_width 0.0)))
 (let (($x1401 (>= staple_items_kid_0_y 0.0)))
 (let (($x1400 (>= staple_items_kid_0_x 0.0)))
 (let (($x1399 (= (- staples_x fashion_sales_x) 0.0)))
 (let (($x1397 (= (+ (- 50.0) staples_hight) 0.0)))
 (let (($x1394 (= (+ (- 200.0) staples_width) 0.0)))
 (let ((?x1389 (- (- spring_edit_thin_kid_0_hight spring_edit_thin_y) spring_edit_thin_hight)))
 (let (($x1392 (or $x1252 (= (+ ?x1389 spring_edit_thin_kid_0_y) 0.0))))
 (let (($x1387 (or $x1252 (= (+ (- spring_edit_thin_y) spring_edit_thin_kid_0_y) 0.0))))
 (let ((?x1382 (- (+ spring_edit_thin_kid_0_x spring_edit_thin_kid_0_width) spring_edit_thin_x)))
 (let (($x1385 (or $x1252 (= (- ?x1382 spring_edit_thin_width) 0.0))))
 (let (($x1380 (or $x1252 (= (- spring_edit_thin_kid_0_x spring_edit_thin_x) 0.0))))
 (let ((?x1375 (+ (+ (- spring_edit_thin_kid_0_hight) spring_edit_thin_y) spring_edit_thin_hight)))
 (let (($x1378 (or $x1252 (>= (- ?x1375 spring_edit_thin_kid_0_y) 0.0))))
 (let (($x1372 (or $x1252 (>= (+ (- spring_edit_thin_y) spring_edit_thin_kid_0_y) 0.0))))
 (let ((?x1365 (+ (- (- spring_edit_thin_kid_0_x) spring_edit_thin_kid_0_width) spring_edit_thin_x)))
 (let (($x1368 (or $x1252 (>= (+ ?x1365 spring_edit_thin_width) 0.0))))
 (let (($x1362 (or $x1252 (>= (- spring_edit_thin_kid_0_x spring_edit_thin_x) 0.0))))
 (let (($x1359 (>= spring_edit_thin_kid_0_hight 0.0)))
 (let (($x1358 (>= spring_edit_thin_kid_0_width 0.0)))
 (let (($x1357 (>= spring_edit_thin_kid_0_y 0.0)))
 (let (($x1356 (>= spring_edit_thin_kid_0_x 0.0)))
 (let (($x1355 (>= spring_edit_kid_0_width 500.0)))
 (let (($x1353 (or $x1235 (= (+ (- spring_edit_kid_1_width) spring_edit_kid_0_width) 0.0))))
 (let ((?x1324 (- (- spring_edit_kid_1_x spring_edit_kid_0_x) spring_edit_kid_0_width)))
 (let (($x1349 (or $x1235 (= ?x1324 0.0))))
 (let ((?x1345 (- (- (+ spring_edit_kid_1_y spring_edit_kid_1_hight) spring_edit_y) spring_edit_hight)))
 (let (($x1347 (or $x1235 (= ?x1345 0.0))))
 (let ((?x1340 (- (+ (- spring_edit_kid_0_y spring_edit_y) spring_edit_kid_0_hight) spring_edit_hight)))
 (let (($x1342 (or $x1235 (= ?x1340 0.0))))
 (let (($x1338 (or $x1235 (= (- spring_edit_kid_1_y spring_edit_y) 0.0))))
 (let (($x1336 (or $x1235 (= (- spring_edit_kid_0_y spring_edit_y) 0.0))))
 (let ((?x1331 (+ (+ (- spring_edit_width) spring_edit_kid_1_x) spring_edit_kid_1_width)))
 (let (($x1334 (or $x1235 (= (- ?x1331 spring_edit_x) 0.0))))
 (let (($x1328 (or $x1235 (= (- spring_edit_kid_0_x spring_edit_x) 0.0))))
 (let (($x1326 (or $x1235 (>= ?x1324 0.0))))
 (let ((?x1319 (+ (- (- spring_edit_kid_1_y) spring_edit_kid_1_hight) spring_edit_y)))
 (let (($x1322 (or $x1235 (>= (+ ?x1319 spring_edit_hight) 0.0))))
 (let (($x1316 (or $x1235 (>= (- spring_edit_kid_1_y spring_edit_y) 0.0))))
 (let ((?x1311 (+ (- (- spring_edit_width spring_edit_kid_1_x) spring_edit_kid_1_width) spring_edit_x)))
 (let (($x1313 (or $x1235 (>= ?x1311 0.0))))
 (let (($x1308 (or $x1235 (>= (- spring_edit_kid_1_x spring_edit_x) 0.0))))
 (let ((?x1302 (- (+ (- spring_edit_kid_0_y) spring_edit_y) spring_edit_kid_0_hight)))
 (let (($x1305 (or $x1235 (>= (+ ?x1302 spring_edit_hight) 0.0))))
 (let (($x1299 (or $x1235 (>= (- spring_edit_kid_0_y spring_edit_y) 0.0))))
 (let ((?x1294 (- (+ (- spring_edit_width spring_edit_kid_0_x) spring_edit_x) spring_edit_kid_0_width)))
 (let (($x1296 (or $x1235 (>= ?x1294 0.0))))
 (let (($x1291 (or $x1235 (>= (- spring_edit_kid_0_x spring_edit_x) 0.0))))
 (let (($x1288 (>= spring_edit_kid_1_hight 0.0)))
 (let (($x1287 (>= spring_edit_kid_1_width 0.0)))
 (let (($x1286 (>= spring_edit_kid_1_y 0.0)))
 (let (($x1285 (>= spring_edit_kid_1_x 0.0)))
 (let (($x1284 (>= spring_edit_kid_0_hight 0.0)))
 (let (($x1283 (>= spring_edit_kid_0_width 0.0)))
 (let (($x1282 (>= spring_edit_kid_0_y 0.0)))
 (let (($x1281 (>= spring_edit_kid_0_x 0.0)))
 (let (($x1280 (= (- (* 5.0 spring_edit_holder_hight) spring_edit_holder_width) 0.0)))
 (let (($x1276 (= (+ (- fashion_sales_width) spring_edit_holder_width) 0.0)))
 (let ((?x1271 (+ (- (* (- 2.0) main_x) main_width) (* 2.0 spring_edit_holder_x))))
 (let (($x1273 (= (+ ?x1271 spring_edit_holder_width) 0.0)))
 (let (($x1268 (or $x1235 $x1252)))
 (let (($x1267 (or spring_edit_feasible spring_edit_thin_feasible)))
 (let ((?x1260 (- spring_edit_thin_y spring_edit_holder_y)))
 (let (($x1265 (= (+ (- ?x1260 spring_edit_holder_hight) spring_edit_thin_hight) 0.0)))
 (let (($x1266 (or $x1252 $x1265)))
 (let (($x1262 (or $x1252 (= ?x1260 0.0))))
 (let ((?x1253 (- spring_edit_thin_x spring_edit_holder_x)))
 (let (($x1258 (= (- (+ ?x1253 spring_edit_thin_width) spring_edit_holder_width) 0.0)))
 (let (($x1259 (or $x1252 $x1258)))
 (let (($x1255 (or $x1252 (= ?x1253 0.0))))
 (let ((?x938 (- spring_edit_holder_y)))
 (let ((?x1245 (+ ?x938 spring_edit_y)))
 (let (($x1251 (or $x1235 (= (+ (- ?x1245 spring_edit_holder_hight) spring_edit_hight) 0.0))))
 (let (($x1247 (or $x1235 (= ?x1245 0.0))))
 (let ((?x1242 (- (+ (- spring_edit_width spring_edit_holder_x) spring_edit_x) spring_edit_holder_width)))
 (let (($x1244 (or $x1235 (= ?x1242 0.0))))
 (let (($x1239 (or $x1235 (= (+ (- spring_edit_holder_x) spring_edit_x) 0.0))))
 (let (($x1234 (>= spring_edit_thin_hight 0.0)))
 (let (($x1233 (>= spring_edit_thin_width 0.0)))
 (let (($x1232 (>= spring_edit_thin_y 0.0)))
 (let (($x1231 (>= spring_edit_thin_x 0.0)))
 (let (($x1230 (>= spring_edit_hight 0.0)))
 (let (($x1229 (>= spring_edit_width 0.0)))
 (let (($x1228 (>= spring_edit_y 0.0)))
 (let (($x1227 (>= spring_edit_x 0.0)))
 (let (($x1226 (= (- fashion_sales_kid_5_width fashion_sales_kid_5_hight) 0.0)))
 (let (($x1224 (= (+ (- fashion_sales_kid_4_hight) fashion_sales_kid_4_width) 0.0)))
 (let (($x1222 (= (+ (- fashion_sales_kid_3_hight) fashion_sales_kid_3_width) 0.0)))
 (let (($x1220 (= (+ (- fashion_sales_kid_2_hight) fashion_sales_kid_2_width) 0.0)))
 (let (($x1217 (= (+ (- fashion_sales_kid_1_hight) fashion_sales_kid_1_width) 0.0)))
 (let (($x1214 (= (+ (- fashion_sales_kid_0_hight) fashion_sales_kid_0_width) 0.0)))
 (let (($x1204 (> main_width 1500.0)))
 (let (($x1211 (or $x1204 (= (- (+ 20.0 fashion_sales_width) main_width) 0.0))))
 (let (($x1206 (= fashion_sales_width 1500.0)))
 (let (($x1207 (or (not $x1204) $x1206)))
 (let ((?x1200 (* 2.0 fashion_sales_x)))
 (let (($x1202 (= (+ (- (+ (* (- 2.0) main_x) fashion_sales_width) main_width) ?x1200) 0.0)))
 (let (($x1197 (= (+ (- fashion_sales_kid_5_width) fashion_sales_kid_0_width) 0.0)))
 (let (($x1194 (= (+ (- fashion_sales_kid_4_width) fashion_sales_kid_0_width) 0.0)))
 (let (($x1191 (= (+ (- fashion_sales_kid_3_width) fashion_sales_kid_0_width) 0.0)))
 (let (($x1188 (= (+ (- fashion_sales_kid_2_width) fashion_sales_kid_0_width) 0.0)))
 (let (($x1185 (= (- fashion_sales_kid_0_width fashion_sales_kid_1_width) 0.0)))
 (let ((?x1105 (- (- fashion_sales_kid_5_x fashion_sales_kid_4_width) fashion_sales_kid_4_x)))
 (let (($x1183 (>= ?x1105 0.0)))
 (let ((?x1102 (+ (- (- fashion_sales_kid_3_x) fashion_sales_kid_3_width) fashion_sales_kid_4_x)))
 (let (($x1182 (>= ?x1102 0.0)))
 (let ((?x1098 (- (- fashion_sales_kid_3_x fashion_sales_kid_2_x) fashion_sales_kid_2_width)))
 (let (($x1181 (>= ?x1098 0.0)))
 (let ((?x1095 (- (- fashion_sales_kid_2_x fashion_sales_kid_1_x) fashion_sales_kid_1_width)))
 (let (($x1180 (>= ?x1095 0.0)))
 (let ((?x1091 (- (+ (- fashion_sales_kid_0_x) fashion_sales_kid_1_x) fashion_sales_kid_0_width)))
 (let (($x1179 (>= ?x1091 0.0)))
 (let ((?x1177 (- (+ (- fashion_sales_y fashion_sales_kid_5_y) fashion_sales_hight) fashion_sales_kid_5_hight)))
 (let (($x1178 (>= ?x1177 10.0)))
 (let ((?x883 (- fashion_sales_y)))
 (let ((?x1066 (+ ?x883 fashion_sales_kid_5_y)))
 (let (($x1174 (>= ?x1066 10.0)))
 (let ((?x1171 (- (+ (- fashion_sales_kid_5_x) fashion_sales_width) fashion_sales_kid_5_width)))
 (let (($x1173 (>= (+ ?x1171 fashion_sales_x) 10.0)))
 (let (($x1168 (>= (- fashion_sales_kid_5_x fashion_sales_x) 10.0)))
 (let ((?x1164 (+ (+ (- fashion_sales_kid_4_hight) fashion_sales_y) fashion_sales_hight)))
 (let (($x1166 (>= (- ?x1164 fashion_sales_kid_4_y) 10.0)))
 (let ((?x1064 (+ ?x883 fashion_sales_kid_4_y)))
 (let (($x1161 (>= ?x1064 10.0)))
 (let ((?x1159 (- (+ (- fashion_sales_width fashion_sales_kid_4_width) fashion_sales_x) fashion_sales_kid_4_x)))
 (let (($x1160 (>= ?x1159 10.0)))
 (let (($x1156 (>= (+ (- fashion_sales_x) fashion_sales_kid_4_x) 10.0)))
 (let ((?x1151 (+ (+ (- fashion_sales_kid_3_hight) fashion_sales_y) fashion_sales_hight)))
 (let (($x1153 (>= (- ?x1151 fashion_sales_kid_3_y) 10.0)))
 (let ((?x1062 (+ ?x883 fashion_sales_kid_3_y)))
 (let (($x1148 (>= ?x1062 10.0)))
 (let ((?x1145 (- (- fashion_sales_width fashion_sales_kid_3_x) fashion_sales_kid_3_width)))
 (let (($x1147 (>= (+ ?x1145 fashion_sales_x) 10.0)))
 (let (($x1143 (>= (- fashion_sales_kid_3_x fashion_sales_x) 10.0)))
 (let ((?x1139 (+ (- (- fashion_sales_kid_2_y) fashion_sales_kid_2_hight) fashion_sales_y)))
 (let (($x1141 (>= (+ ?x1139 fashion_sales_hight) 10.0)))
 (let ((?x1060 (- fashion_sales_kid_2_y fashion_sales_y)))
 (let (($x1136 (>= ?x1060 10.0)))
 (let ((?x1133 (- (- fashion_sales_width fashion_sales_kid_2_x) fashion_sales_kid_2_width)))
 (let (($x1135 (>= (+ ?x1133 fashion_sales_x) 10.0)))
 (let (($x1131 (>= (- fashion_sales_kid_2_x fashion_sales_x) 10.0)))
 (let ((?x1127 (- (+ (- fashion_sales_kid_1_y) fashion_sales_y) fashion_sales_kid_1_hight)))
 (let (($x1129 (>= (+ ?x1127 fashion_sales_hight) 10.0)))
 (let ((?x1058 (- fashion_sales_kid_1_y fashion_sales_y)))
 (let (($x1124 (>= ?x1058 10.0)))
 (let ((?x1122 (- (+ (- fashion_sales_width fashion_sales_kid_1_x) fashion_sales_x) fashion_sales_kid_1_width)))
 (let (($x1123 (>= ?x1122 10.0)))
 (let (($x1119 (>= (- fashion_sales_kid_1_x fashion_sales_x) 10.0)))
 (let ((?x1115 (- (+ (- fashion_sales_kid_0_y) fashion_sales_y) fashion_sales_kid_0_hight)))
 (let (($x1117 (>= (+ ?x1115 fashion_sales_hight) 10.0)))
 (let ((?x1056 (- fashion_sales_kid_0_y fashion_sales_y)))
 (let (($x1112 (>= ?x1056 10.0)))
 (let ((?x1110 (- (+ (- fashion_sales_width fashion_sales_kid_0_x) fashion_sales_x) fashion_sales_kid_0_width)))
 (let (($x1111 (>= ?x1110 10.0)))
 (let ((?x1050 (- fashion_sales_kid_0_x fashion_sales_x)))
 (let (($x1107 (>= ?x1050 10.0)))
 (let (($x1106 (= ?x1105 30.0)))
 (let (($x1103 (= ?x1102 30.0)))
 (let (($x1099 (= ?x1098 30.0)))
 (let (($x1096 (= ?x1095 30.0)))
 (let (($x1093 (= ?x1091 30.0)))
 (let (($x1088 (= (+ (- ?x1066 fashion_sales_hight) fashion_sales_kid_5_hight) (- 10.0))))
 (let ((?x1084 (+ (- (- fashion_sales_kid_4_hight fashion_sales_y) fashion_sales_hight) fashion_sales_kid_4_y)))
 (let (($x1085 (= ?x1084 (- 10.0))))
 (let ((?x1080 (+ (- (- fashion_sales_kid_3_hight fashion_sales_y) fashion_sales_hight) fashion_sales_kid_3_y)))
 (let (($x1081 (= ?x1080 (- 10.0))))
 (let ((?x1075 (- (+ fashion_sales_kid_2_y fashion_sales_kid_2_hight) fashion_sales_y)))
 (let (($x1077 (= (- ?x1075 fashion_sales_hight) (- 10.0))))
 (let (($x1073 (= (- (+ ?x1058 fashion_sales_kid_1_hight) fashion_sales_hight) (- 10.0))))
 (let (($x1070 (= (- (+ ?x1056 fashion_sales_kid_0_hight) fashion_sales_hight) (- 10.0))))
 (let (($x1067 (= ?x1066 10.0)))
 (let (($x1065 (= ?x1064 10.0)))
 (let (($x1063 (= ?x1062 10.0)))
 (let (($x1061 (= ?x1060 10.0)))
 (let (($x1059 (= ?x1058 10.0)))
 (let (($x1057 (= ?x1056 10.0)))
 (let ((?x1053 (+ (- fashion_sales_kid_5_x fashion_sales_width) fashion_sales_kid_5_width)))
 (let (($x1055 (= (- ?x1053 fashion_sales_x) (- 10.0))))
 (let (($x1051 (= ?x1050 10.0)))
 (let (($x1049 (>= fashion_sales_kid_5_hight 0.0)))
 (let (($x1048 (>= fashion_sales_kid_5_width 0.0)))
 (let (($x1047 (>= fashion_sales_kid_5_y 0.0)))
 (let (($x1046 (>= fashion_sales_kid_5_x 0.0)))
 (let (($x1045 (>= fashion_sales_kid_4_hight 0.0)))
 (let (($x1044 (>= fashion_sales_kid_4_width 0.0)))
 (let (($x1043 (>= fashion_sales_kid_4_y 0.0)))
 (let (($x1042 (>= fashion_sales_kid_4_x 0.0)))
 (let (($x1041 (>= fashion_sales_kid_3_hight 0.0)))
 (let (($x1040 (>= fashion_sales_kid_3_width 0.0)))
 (let (($x1039 (>= fashion_sales_kid_3_y 0.0)))
 (let (($x1038 (>= fashion_sales_kid_3_x 0.0)))
 (let (($x1037 (>= fashion_sales_kid_2_hight 0.0)))
 (let (($x1036 (>= fashion_sales_kid_2_width 0.0)))
 (let (($x1035 (>= fashion_sales_kid_2_y 0.0)))
 (let (($x1034 (>= fashion_sales_kid_2_x 0.0)))
 (let (($x1033 (>= fashion_sales_kid_1_hight 0.0)))
 (let (($x1032 (>= fashion_sales_kid_1_width 0.0)))
 (let (($x1031 (>= fashion_sales_kid_1_y 0.0)))
 (let (($x1030 (>= fashion_sales_kid_1_x 0.0)))
 (let (($x1029 (>= fashion_sales_kid_0_hight 0.0)))
 (let (($x1028 (>= fashion_sales_kid_0_width 0.0)))
 (let (($x1027 (>= fashion_sales_kid_0_y 0.0)))
 (let (($x1026 (>= fashion_sales_kid_0_x 0.0)))
 (let ((?x1023 (* 2.0 main_title_x)))
 (let (($x1025 (= (+ (- (+ (* (- 2.0) main_x) main_title_width) main_width) ?x1023) 0.0)))
 (let (($x1018 (= (+ (- 100.0) main_title_hight) 0.0)))
 (let (($x1015 (= (+ (- 200.0) main_title_width) 0.0)))
 (let ((?x903 (- (- icon_tbl_y shop_occation_y) shop_occation_hight)))
 (let (($x1012 (>= ?x903 0.0)))
 (let ((?x900 (- (+ (- basic_right_hight) shop_occation_y) basic_right_y)))
 (let (($x1011 (>= ?x900 0.0)))
 (let ((?x896 (+ (- (- staple_items_hight) staple_items_y) basic_right_y)))
 (let (($x1010 (>= ?x896 0.0)))
 (let ((?x891 (- (- staples_y) staples_hight)))
 (let ((?x892 (+ ?x891 staple_items_y)))
 (let (($x1009 (>= ?x892 0.0)))
 (let ((?x888 (- (- staples_y spring_edit_holder_y) spring_edit_holder_hight)))
 (let (($x1008 (>= ?x888 0.0)))
 (let ((?x885 (- (+ ?x883 spring_edit_holder_y) fashion_sales_hight)))
 (let (($x1007 (>= ?x885 0.0)))
 (let ((?x880 (- (- fashion_sales_y main_title_y) main_title_hight)))
 (let (($x1006 (>= ?x880 0.0)))
 (let (($x1005 (>= (+ (+ (- (- icon_tbl_y) icon_tbl_hight) main_y) main_hight) 10.0)))
 (let (($x1000 (>= (- icon_tbl_y main_y) 10.0)))
 (let (($x998 (>= (- (+ (+ (- icon_tbl_width) main_x) main_width) icon_tbl_x) 10.0)))
 (let (($x993 (>= (+ (- main_x) icon_tbl_x) 10.0)))
 (let ((?x990 (+ (- (+ (- shop_occation_y) main_y) shop_occation_hight) main_hight)))
 (let (($x991 (>= ?x990 10.0)))
 (let (($x986 (>= (- shop_occation_y main_y) 10.0)))
 (let (($x984 (>= (+ (- (+ ?x980 main_x) shop_occation_width) main_width) 10.0)))
 (let (($x979 (>= (- shop_occation_x main_x) 10.0)))
 (let ((?x976 (+ (- (+ (- basic_right_hight) main_y) basic_right_y) main_hight)))
 (let (($x977 (>= ?x976 10.0)))
 (let (($x973 (>= (+ (- main_y) basic_right_y) 10.0)))
 (let (($x971 (>= (- (+ (- main_x basic_right_x) main_width) basic_right_width) 10.0)))
 (let (($x967 (>= (+ (- main_x) basic_right_x) 10.0)))
 (let ((?x964 (+ (- (+ (- staple_items_hight) main_y) staple_items_y) main_hight)))
 (let (($x965 (>= ?x964 10.0)))
 (let (($x961 (>= (+ (- main_y) staple_items_y) 10.0)))
 (let (($x958 (>= (- (+ (- main_x staple_items_x) main_width) staple_items_width) 10.0)))
 (let (($x954 (>= (+ (- main_x) staple_items_x) 10.0)))
 (let (($x952 (>= (+ (+ ?x891 main_y) main_hight) 10.0)))
 (let (($x949 (>= (- staples_y main_y) 10.0)))
 (let (($x947 (>= (- (- (+ main_x main_width) staples_x) staples_width) 10.0)))
 (let (($x944 (>= (+ (- main_x) staples_x) 10.0)))
 (let (($x942 (>= (+ (+ (- ?x938 spring_edit_holder_hight) main_y) main_hight) 10.0)))
 (let (($x937 (>= (- spring_edit_holder_y main_y) 10.0)))
 (let ((?x934 (- (- (+ main_x main_width) spring_edit_holder_x) spring_edit_holder_width)))
 (let (($x935 (>= ?x934 10.0)))
 (let (($x931 (>= (+ (- main_x) spring_edit_holder_x) 10.0)))
 (let (($x929 (>= (+ (- (+ ?x883 main_y) fashion_sales_hight) main_hight) 10.0)))
 (let (($x925 (>= (- fashion_sales_y main_y) 10.0)))
 (let (($x923 (>= (- (+ (- main_x fashion_sales_width) main_width) fashion_sales_x) 10.0)))
 (let (($x919 (>= (+ (- main_x) fashion_sales_x) 10.0)))
 (let (($x917 (>= (+ (- (+ (- main_title_y) main_y) main_title_hight) main_hight) 10.0)))
 (let (($x912 (>= (- main_title_y main_y) 10.0)))
 (let (($x910 (>= (- (+ (- main_x main_title_width) main_width) main_title_x) 10.0)))
 (let (($x906 (>= (+ (- main_x) main_title_x) 10.0)))
 (let (($x904 (= ?x903 20.0)))
 (let (($x901 (= ?x900 20.0)))
 (let (($x897 (= ?x896 20.0)))
 (let (($x893 (= ?x892 20.0)))
 (let (($x889 (= ?x888 20.0)))
 (let (($x886 (= ?x885 20.0)))
 (let (($x882 (= ?x880 20.0)))
 (let (($x878 (>= icon_tbl_hight 0.0)))
 (let (($x877 (>= icon_tbl_width 0.0)))
 (let (($x876 (>= icon_tbl_y 0.0)))
 (let (($x875 (>= icon_tbl_x 0.0)))
 (let (($x874 (>= shop_occation_hight 0.0)))
 (let (($x873 (>= shop_occation_width 0.0)))
 (let (($x872 (>= shop_occation_y 0.0)))
 (let (($x871 (>= shop_occation_x 0.0)))
 (let (($x870 (>= basic_right_hight 0.0)))
 (let (($x869 (>= basic_right_width 0.0)))
 (let (($x868 (>= basic_right_y 0.0)))
 (let (($x867 (>= basic_right_x 0.0)))
 (let (($x866 (>= staple_items_hight 0.0)))
 (let (($x865 (>= staple_items_width 0.0)))
 (let (($x864 (>= staple_items_y 0.0)))
 (let (($x863 (>= staple_items_x 0.0)))
 (let (($x862 (>= staples_hight 0.0)))
 (let (($x861 (>= staples_width 0.0)))
 (let (($x860 (>= staples_y 0.0)))
 (let (($x859 (>= staples_x 0.0)))
 (let (($x858 (>= spring_edit_holder_hight 0.0)))
 (let (($x857 (>= spring_edit_holder_width 0.0)))
 (let (($x856 (>= spring_edit_holder_y 0.0)))
 (let (($x855 (>= spring_edit_holder_x 0.0)))
 (let (($x854 (>= fashion_sales_hight 0.0)))
 (let (($x853 (>= fashion_sales_width 0.0)))
 (let (($x852 (>= fashion_sales_y 0.0)))
 (let (($x851 (>= fashion_sales_x 0.0)))
 (let (($x850 (>= main_title_hight 0.0)))
 (let (($x849 (>= main_title_width 0.0)))
 (let (($x848 (>= main_title_y 0.0)))
 (let (($x847 (>= main_title_x 0.0)))
 (let (($x846 (= side_bar_width 200.0)))
 (let ((?x828 (- (- main_x side_bar_x) side_bar_width)))
 (let (($x844 (= ?x828 0.0)))
 (let ((?x435 (+ ?x432 main_body_x)))
 (let (($x436 (= ?x435 0.0)))
 (let (($x843 (= (+ (- (+ (- main_body_y) main_y) main_body_hight) main_hight) 0.0)))
 (let (($x840 (= (+ (- (- side_bar_hight main_body_y) main_body_hight) side_bar_y) 0.0)))
 (let ((?x806 (- main_body_y)))
 (let ((?x821 (+ ?x806 main_y)))
 (let (($x836 (= ?x821 0.0)))
 (let ((?x807 (+ ?x806 side_bar_y)))
 (let (($x835 (= ?x807 0.0)))
 (let (($x834 (= (- (+ (- main_x main_body_width) main_width) main_body_x) 0.0)))
 (let ((?x800 (- side_bar_x main_body_x)))
 (let (($x830 (= ?x800 0.0)))
 (let (($x829 (>= ?x828 0.0)))
 (let (($x826 (>= (- (+ (- main_body_y main_y) main_body_hight) main_hight) 0.0)))
 (let (($x822 (>= ?x821 0.0)))
 (let (($x820 (>= (+ (- (+ (- main_x) main_body_width) main_width) main_body_x) 0.0)))
 (let (($x815 (>= (- main_x main_body_x) 0.0)))
 (let ((?x812 (- (+ (+ (- side_bar_hight) main_body_y) main_body_hight) side_bar_y)))
 (let (($x813 (>= ?x812 0.0)))
 (let (($x808 (>= ?x807 0.0)))
 (let (($x805 (>= (+ (- (- main_body_width side_bar_x) side_bar_width) main_body_x) 0.0)))
 (let (($x801 (>= ?x800 0.0)))
 (let (($x799 (>= main_hight 0.0)))
 (let (($x798 (>= main_width 0.0)))
 (let (($x797 (>= main_y 0.0)))
 (let (($x796 (>= main_x 0.0)))
 (let (($x795 (>= side_bar_hight 0.0)))
 (let (($x794 (>= side_bar_width 0.0)))
 (let (($x793 (>= side_bar_y 0.0)))
 (let (($x792 (>= side_bar_x 0.0)))
 (let ((?x790 (+ (- (- title_bg_kid_8_hight title_bg_y) title_bg_hight) title_bg_kid_8_y)))
 (let (($x791 (= ?x790 (- 10.0))))
 (let ((?x420 (- title_bg_y)))
 (let ((?x644 (+ ?x420 title_bg_kid_8_y)))
 (let (($x787 (= ?x644 10.0)))
 (let ((?x785 (- (- (+ title_bg_kid_7_y title_bg_kid_7_hight) title_bg_y) title_bg_hight)))
 (let (($x786 (= ?x785 (- 10.0))))
 (let ((?x631 (- title_bg_kid_7_y title_bg_y)))
 (let (($x782 (= ?x631 10.0)))
 (let ((?x780 (- (- (+ title_bg_kid_6_y title_bg_kid_6_hight) title_bg_y) title_bg_hight)))
 (let (($x781 (= ?x780 (- 10.0))))
 (let ((?x618 (- title_bg_kid_6_y title_bg_y)))
 (let (($x777 (= ?x618 10.0)))
 (let ((?x775 (- (+ (- title_bg_kid_5_y title_bg_y) title_bg_kid_5_hight) title_bg_hight)))
 (let (($x776 (= ?x775 (- 10.0))))
 (let ((?x605 (- title_bg_kid_5_y title_bg_y)))
 (let (($x773 (= ?x605 10.0)))
 (let ((?x771 (- (+ (- title_bg_kid_4_y title_bg_y) title_bg_kid_4_hight) title_bg_hight)))
 (let (($x772 (= ?x771 (- 10.0))))
 (let ((?x591 (- title_bg_kid_4_y title_bg_y)))
 (let (($x769 (= ?x591 10.0)))
 (let ((?x767 (+ (- (+ ?x420 title_bg_kid_3_y) title_bg_hight) title_bg_kid_3_hight)))
 (let (($x768 (= ?x767 (- 10.0))))
 (let ((?x578 (+ ?x420 title_bg_kid_3_y)))
 (let (($x765 (= ?x578 10.0)))
 (let ((?x763 (+ (- (- title_bg_kid_2_hight title_bg_y) title_bg_hight) title_bg_kid_2_y)))
 (let (($x764 (= ?x763 (- 10.0))))
 (let ((?x564 (+ ?x420 title_bg_kid_2_y)))
 (let (($x760 (= ?x564 10.0)))
 (let ((?x758 (+ (- (- title_bg_kid_1_hight title_bg_y) title_bg_hight) title_bg_kid_1_y)))
 (let (($x759 (= ?x758 (- 10.0))))
 (let ((?x551 (+ ?x420 title_bg_kid_1_y)))
 (let (($x755 (= ?x551 10.0)))
 (let ((?x753 (- (- (+ title_bg_kid_0_y title_bg_kid_0_hight) title_bg_y) title_bg_hight)))
 (let (($x754 (= ?x753 (- 10.0))))
 (let ((?x538 (- title_bg_kid_0_y title_bg_y)))
 (let (($x750 (= ?x538 10.0)))
 (let (($x749 (= title_bg_kid_0_width 100.0)))
 (let (($x748 (= (+ (- title_bg_kid_8_width) title_bg_kid_0_width) 0.0)))
 (let (($x745 (= (+ (- title_bg_kid_7_width) title_bg_kid_0_width) 0.0)))
 (let (($x742 (= (- title_bg_kid_0_width title_bg_kid_6_width) 0.0)))
 (let (($x740 (= (+ (- title_bg_kid_5_width) title_bg_kid_0_width) 0.0)))
 (let (($x738 (= (+ (- title_bg_kid_4_width) title_bg_kid_0_width) 0.0)))
 (let (($x736 (= (+ (- title_bg_kid_3_width) title_bg_kid_0_width) 0.0)))
 (let (($x733 (= (+ (- title_bg_kid_2_width) title_bg_kid_0_width) 0.0)))
 (let (($x730 (= (+ (- title_bg_kid_1_width) title_bg_kid_0_width) 0.0)))
 (let ((?x724 (+ (- (- title_bg_kid_8_x title_bg_kid_1_x) title_bg_kid_7_x) title_bg_kid_0_x)))
 (let (($x727 (= (+ (- ?x724 title_bg_kid_7_width) title_bg_kid_0_width) 0.0)))
 (let ((?x718 (- (+ (+ (- title_bg_kid_1_x) title_bg_kid_7_x) title_bg_kid_0_x) title_bg_kid_6_x)))
 (let (($x721 (= (- (+ ?x718 title_bg_kid_0_width) title_bg_kid_6_width) 0.0)))
 (let ((?x712 (- (+ (- (- title_bg_kid_5_width) title_bg_kid_1_x) title_bg_kid_0_x) title_bg_kid_5_x)))
 (let (($x715 (= (+ (+ ?x712 title_bg_kid_6_x) title_bg_kid_0_width) 0.0)))
 (let ((?x706 (+ (+ (- (- title_bg_kid_4_width) title_bg_kid_1_x) title_bg_kid_0_x) title_bg_kid_5_x)))
 (let (($x709 (= (- (+ ?x706 title_bg_kid_0_width) title_bg_kid_4_x) 0.0)))
 (let ((?x700 (+ (- (- (- title_bg_kid_3_x) title_bg_kid_1_x) title_bg_kid_3_width) title_bg_kid_0_x)))
 (let (($x703 (= (+ (+ ?x700 title_bg_kid_0_width) title_bg_kid_4_x) 0.0)))
 (let ((?x694 (+ (- (- title_bg_kid_3_x title_bg_kid_1_x) title_bg_kid_2_x) title_bg_kid_0_x)))
 (let (($x697 (= (+ (- ?x694 title_bg_kid_2_width) title_bg_kid_0_width) 0.0)))
 (let ((?x688 (+ (+ (* (- 2.0) title_bg_kid_1_x) title_bg_kid_2_x) title_bg_kid_0_x)))
 (let (($x691 (= (+ (- ?x688 title_bg_kid_1_width) title_bg_kid_0_width) 0.0)))
 (let ((?x682 (- (+ (+ (- title_bg_width) title_bg_kid_8_x) title_bg_kid_8_width) title_bg_x)))
 (let (($x684 (= ?x682 (- 10.0))))
 (let ((?x531 (- title_bg_kid_0_x title_bg_x)))
 (let (($x678 (= ?x531 10.0)))
 (let (($x677 (= title_bg_hight 100.0)))
 (let (($x675 (>= (- (- title_bg_kid_8_x title_bg_kid_7_x) title_bg_kid_7_width) 0.0)))
 (let (($x672 (>= (- (- title_bg_kid_7_x title_bg_kid_6_x) title_bg_kid_6_width) 0.0)))
 (let (($x669 (>= (+ (- (- title_bg_kid_5_width) title_bg_kid_5_x) title_bg_kid_6_x) 0.0)))
 (let (($x666 (>= (- (+ (- title_bg_kid_4_width) title_bg_kid_5_x) title_bg_kid_4_x) 0.0)))
 (let (($x663 (>= (+ (- (- title_bg_kid_3_x) title_bg_kid_3_width) title_bg_kid_4_x) 0.0)))
 (let (($x660 (>= (- (- title_bg_kid_3_x title_bg_kid_2_x) title_bg_kid_2_width) 0.0)))
 (let (($x657 (>= (- (+ (- title_bg_kid_1_x) title_bg_kid_2_x) title_bg_kid_1_width) 0.0)))
 (let (($x653 (>= (- (- title_bg_kid_1_x title_bg_kid_0_x) title_bg_kid_0_width) 0.0)))
 (let ((?x649 (- (+ (+ (- title_bg_kid_8_hight) title_bg_y) title_bg_hight) title_bg_kid_8_y)))
 (let (($x650 (>= ?x649 10.0)))
 (let (($x645 (>= ?x644 10.0)))
 (let ((?x642 (+ (- (- title_bg_width title_bg_kid_8_x) title_bg_kid_8_width) title_bg_x)))
 (let (($x643 (>= ?x642 10.0)))
 (let (($x639 (>= (- title_bg_kid_8_x title_bg_x) 10.0)))
 (let ((?x636 (+ (+ (- (- title_bg_kid_7_y) title_bg_kid_7_hight) title_bg_y) title_bg_hight)))
 (let (($x637 (>= ?x636 10.0)))
 (let (($x632 (>= ?x631 10.0)))
 (let ((?x629 (+ (- (- title_bg_width title_bg_kid_7_x) title_bg_kid_7_width) title_bg_x)))
 (let (($x630 (>= ?x629 10.0)))
 (let (($x626 (>= (- title_bg_kid_7_x title_bg_x) 10.0)))
 (let ((?x623 (+ (+ (- (- title_bg_kid_6_y) title_bg_kid_6_hight) title_bg_y) title_bg_hight)))
 (let (($x624 (>= ?x623 10.0)))
 (let (($x619 (>= ?x618 10.0)))
 (let ((?x616 (+ (- (- title_bg_width title_bg_kid_6_x) title_bg_kid_6_width) title_bg_x)))
 (let (($x617 (>= ?x616 10.0)))
 (let (($x613 (>= (- title_bg_kid_6_x title_bg_x) 10.0)))
 (let ((?x610 (+ (- (+ (- title_bg_kid_5_y) title_bg_y) title_bg_kid_5_hight) title_bg_hight)))
 (let (($x611 (>= ?x610 10.0)))
 (let (($x606 (>= ?x605 10.0)))
 (let ((?x603 (+ (- (+ (- title_bg_kid_5_width) title_bg_width) title_bg_kid_5_x) title_bg_x)))
 (let (($x604 (>= ?x603 10.0)))
 (let (($x599 (>= (- title_bg_kid_5_x title_bg_x) 10.0)))
 (let ((?x596 (+ (- (+ (- title_bg_kid_4_y) title_bg_y) title_bg_kid_4_hight) title_bg_hight)))
 (let (($x597 (>= ?x596 10.0)))
 (let (($x592 (>= ?x591 10.0)))
 (let ((?x589 (+ (- (+ (- title_bg_kid_4_width) title_bg_width) title_bg_kid_4_x) title_bg_x)))
 (let (($x590 (>= ?x589 10.0)))
 (let (($x585 (>= (- title_bg_kid_4_x title_bg_x) 10.0)))
 (let ((?x582 (- (+ (- title_bg_y title_bg_kid_3_y) title_bg_hight) title_bg_kid_3_hight)))
 (let (($x583 (>= ?x582 10.0)))
 (let (($x579 (>= ?x578 10.0)))
 (let ((?x576 (+ (- (+ (- title_bg_kid_3_x) title_bg_width) title_bg_kid_3_width) title_bg_x)))
 (let (($x577 (>= ?x576 10.0)))
 (let (($x572 (>= (- title_bg_kid_3_x title_bg_x) 10.0)))
 (let ((?x569 (- (+ (+ (- title_bg_kid_2_hight) title_bg_y) title_bg_hight) title_bg_kid_2_y)))
 (let (($x570 (>= ?x569 10.0)))
 (let (($x565 (>= ?x564 10.0)))
 (let ((?x562 (+ (- (- title_bg_width title_bg_kid_2_x) title_bg_kid_2_width) title_bg_x)))
 (let (($x563 (>= ?x562 10.0)))
 (let (($x559 (>= (- title_bg_kid_2_x title_bg_x) 10.0)))
 (let ((?x556 (- (+ (+ (- title_bg_kid_1_hight) title_bg_y) title_bg_hight) title_bg_kid_1_y)))
 (let (($x557 (>= ?x556 10.0)))
 (let (($x552 (>= ?x551 10.0)))
 (let ((?x549 (+ (- (- title_bg_width title_bg_kid_1_x) title_bg_kid_1_width) title_bg_x)))
 (let (($x550 (>= ?x549 10.0)))
 (let (($x546 (>= (- title_bg_kid_1_x title_bg_x) 10.0)))
 (let ((?x543 (+ (+ (- (- title_bg_kid_0_y) title_bg_kid_0_hight) title_bg_y) title_bg_hight)))
 (let (($x544 (>= ?x543 10.0)))
 (let (($x539 (>= ?x538 10.0)))
 (let ((?x536 (+ (- (- title_bg_width title_bg_kid_0_x) title_bg_kid_0_width) title_bg_x)))
 (let (($x537 (>= ?x536 10.0)))
 (let (($x533 (>= ?x531 10.0)))
 (let (($x530 (>= title_bg_kid_8_hight 0.0)))
 (let (($x529 (>= title_bg_kid_8_width 0.0)))
 (let (($x528 (>= title_bg_kid_8_y 0.0)))
 (let (($x527 (>= title_bg_kid_8_x 0.0)))
 (let (($x526 (>= title_bg_kid_7_hight 0.0)))
 (let (($x525 (>= title_bg_kid_7_width 0.0)))
 (let (($x524 (>= title_bg_kid_7_y 0.0)))
 (let (($x523 (>= title_bg_kid_7_x 0.0)))
 (let (($x522 (>= title_bg_kid_6_hight 0.0)))
 (let (($x521 (>= title_bg_kid_6_width 0.0)))
 (let (($x520 (>= title_bg_kid_6_y 0.0)))
 (let (($x519 (>= title_bg_kid_6_x 0.0)))
 (let (($x518 (>= title_bg_kid_5_hight 0.0)))
 (let (($x517 (>= title_bg_kid_5_width 0.0)))
 (let (($x516 (>= title_bg_kid_5_y 0.0)))
 (let (($x515 (>= title_bg_kid_5_x 0.0)))
 (let (($x514 (>= title_bg_kid_4_hight 0.0)))
 (let (($x513 (>= title_bg_kid_4_width 0.0)))
 (let (($x512 (>= title_bg_kid_4_y 0.0)))
 (let (($x511 (>= title_bg_kid_4_x 0.0)))
 (let (($x510 (>= title_bg_kid_3_hight 0.0)))
 (let (($x509 (>= title_bg_kid_3_width 0.0)))
 (let (($x508 (>= title_bg_kid_3_y 0.0)))
 (let (($x507 (>= title_bg_kid_3_x 0.0)))
 (let (($x506 (>= title_bg_kid_2_hight 0.0)))
 (let (($x505 (>= title_bg_kid_2_width 0.0)))
 (let (($x504 (>= title_bg_kid_2_y 0.0)))
 (let (($x503 (>= title_bg_kid_2_x 0.0)))
 (let (($x502 (>= title_bg_kid_1_hight 0.0)))
 (let (($x501 (>= title_bg_kid_1_width 0.0)))
 (let (($x500 (>= title_bg_kid_1_y 0.0)))
 (let (($x499 (>= title_bg_kid_1_x 0.0)))
 (let (($x498 (>= title_bg_kid_0_hight 0.0)))
 (let (($x497 (>= title_bg_kid_0_width 0.0)))
 (let (($x496 (>= title_bg_kid_0_y 0.0)))
 (let (($x495 (>= title_bg_kid_0_x 0.0)))
 (let (($x494 (= (+ (- BC_y) back_ground_y) 0.0)))
 (let ((?x425 (- (- back_top_y main_body_y) main_body_hight)))
 (let (($x491 (>= ?x425 0.0)))
 (let ((?x422 (- (+ ?x420 main_body_y) title_bg_hight)))
 (let (($x490 (>= ?x422 0.0)))
 (let ((?x488 (+ (- (- back_ground_hight back_top_y) back_top_hight) back_ground_y)))
 (let (($x489 (>= ?x488 0.0)))
 (let (($x485 (>= (- back_top_y back_ground_y) 0.0)))
 (let ((?x482 (- (- (+ back_ground_x back_ground_width) back_top_x) back_top_width)))
 (let (($x483 (>= ?x482 0.0)))
 (let (($x479 (>= ?x437 0.0)))
 (let ((?x477 (- (+ (- back_ground_hight main_body_y) back_ground_y) main_body_hight)))
 (let (($x478 (>= ?x477 0.0)))
 (let (($x474 (>= (- main_body_y back_ground_y) 0.0)))
 (let ((?x471 (- (+ (- back_ground_x main_body_width) back_ground_width) main_body_x)))
 (let (($x472 (>= ?x471 0.0)))
 (let (($x468 (>= ?x435 0.0)))
 (let ((?x466 (- (+ (- back_ground_hight title_bg_y) back_ground_y) title_bg_hight)))
 (let (($x467 (>= ?x466 0.0)))
 (let ((?x451 (- title_bg_y back_ground_y)))
 (let (($x463 (>= ?x451 0.0)))
 (let ((?x461 (- (+ (- back_ground_x title_bg_width) back_ground_width) title_bg_x)))
 (let (($x462 (>= ?x461 0.0)))
 (let ((?x433 (+ ?x432 title_bg_x)))
 (let (($x458 (>= ?x433 0.0)))
 (let ((?x456 (- (+ (+ (- back_ground_hight) back_top_y) back_top_hight) back_ground_y)))
 (let (($x457 (= ?x456 0.0)))
 (let (($x452 (= ?x451 0.0)))
 (let (($x450 (= (+ (+ (- ?x432 back_ground_width) back_top_x) back_top_width) 0.0)))
 (let (($x446 (= (+ (- (+ ?x432 main_body_width) back_ground_width) main_body_x) 0.0)))
 (let (($x442 (= (+ (- (+ ?x432 title_bg_width) back_ground_width) title_bg_x) 0.0)))
 (let (($x434 (= ?x433 0.0)))
 (let (($x431 (= (- (+ (- back_ground_x BC_x) back_ground_width) BC_width) 0.0)))
 (let ((?x427 (- back_ground_x BC_x)))
 (let (($x428 (= ?x427 0.0)))
 (let (($x426 (= ?x425 0.0)))
 (let (($x423 (= ?x422 0.0)))
 (let (($x419 (>= back_top_hight 0.0)))
 (let (($x418 (>= back_top_width 0.0)))
 (let (($x417 (>= back_top_y 0.0)))
 (let (($x416 (>= back_top_x 0.0)))
 (let (($x415 (>= main_body_hight 0.0)))
 (let (($x414 (>= main_body_width 0.0)))
 (let (($x413 (>= main_body_y 0.0)))
 (let (($x412 (>= main_body_x 0.0)))
 (let (($x411 (>= title_bg_hight 0.0)))
 (let (($x410 (>= title_bg_width 0.0)))
 (let (($x409 (>= title_bg_y 0.0)))
 (let (($x408 (>= title_bg_x 0.0)))
 (let (($x407 (>= back_ground_hight 0.0)))
 (let (($x406 (>= back_ground_width 0.0)))
 (let (($x405 (>= back_ground_y 0.0)))
 (let (($x404 (>= back_ground_x 0.0)))
 (let (($x403 (= BC_y 0.0)))
 (let (($x402 (= BC_x 0.0)))
 (let (($x401 (<= BC_width 4000.0)))
 (let (($x399 (>= BC_hight 0.0)))
 (let (($x398 (>= BC_width 0.0)))
 (let (($x397 (>= BC_y 0.0)))
 (let (($x396 (>= BC_x 0.0)))
 (and $x396 $x397 $x398 $x399 $x401 $x402 $x403 BC_feasible $x404 $x405 $x406 $x407 $x408 $x409 $x410 $x411 $x412 $x413 $x414 $x415 $x416 $x417 $x418 $x419 $x423 $x426 $x428 $x431 $x434 $x436 $x438 $x442 $x446 $x450 $x452 $x457 $x458 $x462 $x463 $x467 $x468 $x472 $x474 $x478 $x479 $x483 $x485 $x489 $x490 $x491 $x494 $x495 $x496 $x497 $x498 $x499 $x500 $x501 $x502 $x503 $x504 $x505 $x506 $x507 $x508 $x509 $x510 $x511 $x512 $x513 $x514 $x515 $x516 $x517 $x518 $x519 $x520 $x521 $x522 $x523 $x524 $x525 $x526 $x527 $x528 $x529 $x530 $x533 $x537 $x539 $x544 $x546 $x550 $x552 $x557 $x559 $x563 $x565 $x570 $x572 $x577 $x579 $x583 $x585 $x590 $x592 $x597 $x599 $x604 $x606 $x611 $x613 $x617 $x619 $x624 $x626 $x630 $x632 $x637 $x639 $x643 $x645 $x650 $x653 $x657 $x660 $x663 $x666 $x669 $x672 $x675 $x677 $x678 $x684 $x691 $x697 $x703 $x709 $x715 $x721 $x727 $x730 $x733 $x736 $x738 $x740 $x742 $x745 $x748 $x749 $x750 $x754 $x755 $x759 $x760 $x764 $x765 $x768 $x769 $x772 $x773 $x776 $x777 $x781 $x782 $x786 $x787 $x791 $x792 $x793 $x794 $x795 $x796 $x797 $x798 $x799 $x801 $x805 $x808 $x813 $x815 $x820 $x822 $x826 $x829 $x830 $x834 $x835 $x836 $x840 $x843 $x436 $x844 $x846 $x847 $x848 $x849 $x850 $x851 $x852 $x853 $x854 $x855 $x856 $x857 $x858 $x859 $x860 $x861 $x862 $x863 $x864 $x865 $x866 $x867 $x868 $x869 $x870 $x871 $x872 $x873 $x874 $x875 $x876 $x877 $x878 $x882 $x886 $x889 $x893 $x897 $x901 $x904 $x906 $x910 $x912 $x917 $x919 $x923 $x925 $x929 $x931 $x935 $x937 $x942 $x944 $x947 $x949 $x952 $x954 $x958 $x961 $x965 $x967 $x971 $x973 $x977 $x979 $x984 $x986 $x991 $x993 $x998 $x1000 $x1005 $x1006 $x1007 $x1008 $x1009 $x1010 $x1011 $x1012 $x1015 $x1018 $x1025 $x1026 $x1027 $x1028 $x1029 $x1030 $x1031 $x1032 $x1033 $x1034 $x1035 $x1036 $x1037 $x1038 $x1039 $x1040 $x1041 $x1042 $x1043 $x1044 $x1045 $x1046 $x1047 $x1048 $x1049 $x1051 $x1055 $x1057 $x1059 $x1061 $x1063 $x1065 $x1067 $x1070 $x1073 $x1077 $x1081 $x1085 $x1088 $x1093 $x1096 $x1099 $x1103 $x1106 $x1107 $x1111 $x1112 $x1117 $x1119 $x1123 $x1124 $x1129 $x1131 $x1135 $x1136 $x1141 $x1143 $x1147 $x1148 $x1153 $x1156 $x1160 $x1161 $x1166 $x1168 $x1173 $x1174 $x1178 $x1179 $x1180 $x1181 $x1182 $x1183 $x1185 $x1188 $x1191 $x1194 $x1197 $x1202 $x1207 $x1211 $x1214 $x1217 $x1220 $x1222 $x1224 $x1226 $x1227 $x1228 $x1229 $x1230 $x1231 $x1232 $x1233 $x1234 $x1239 $x1244 $x1247 $x1251 $x1255 $x1259 $x1262 $x1266 $x1267 $x1268 $x1273 $x1276 $x1280 $x1281 $x1282 $x1283 $x1284 $x1285 $x1286 $x1287 $x1288 $x1291 $x1296 $x1299 $x1305 $x1308 $x1313 $x1316 $x1322 $x1326 $x1328 $x1334 $x1336 $x1338 $x1342 $x1347 $x1349 $x1353 $x1355 $x1356 $x1357 $x1358 $x1359 $x1362 $x1368 $x1372 $x1378 $x1380 $x1385 $x1387 $x1392 $x1394 $x1397 $x1399 $x1400 $x1401 $x1402 $x1403 $x1404 $x1405 $x1406 $x1407 $x1408 $x1409 $x1410 $x1411 $x1412 $x1413 $x1414 $x1415 $x1416 $x1417 $x1418 $x1419 $x1420 $x1421 $x1422 $x1423 $x1424 $x1425 $x1426 $x1427 $x1430 $x1434 $x1436 $x1438 $x1440 $x1442 $x1444 $x1447 $x1449 $x1453 $x1457 $x1461 $x1465 $x1469 $x1473 $x1477 $x1478 $x1482 $x1483 $x1488 $x1490 $x1495 $x1496 $x1500 $x1502 $x1506 $x1507 $x1511 $x1513 $x1516 $x1517 $x1521 $x1523 $x1526 $x1527 $x1531 $x1533 $x1537 $x1538 $x1542 $x1543 $x1548 $x1549 $x1553 $x1557 $x1560 $x1563 $x1567 $x1570 $x1573 $x1574 $x1575 $x1576 $x1577 $x1578 $x1579 $x1581 $x1583 $x1585 $x1587 $x1589 $x1591 $x1594 $x1596 $x1598 $x1599 $x1600 $x1601 $x1602 $x1603 $x1604 $x1605 $x1606 $x1608 $x1610 $x1613 $x1617 $x1619 $x1624 $x1626 $x1631 $x1633 $x1637 $x1640 $x1641 $x1642 $x1646 $x1650 $x1651 $x1655 $x1656 $x1657 $x1658 $x1659 $x1660 $x1661 $x1662 $x1663 $x1664 $x1668 $x1673 $x1676 $x1681 $x1685 $x1691 $x1694 $x1699 $x1700 $x1701 $x1704 $x1705 $x1706 $x1707 $x1708 $x1709 $x1710 $x1711 $x1712 $x1715 $x1720 $x1723 $x1729 $x1732 $x1737 $x1741 $x1747 $x1751 $x1753 $x1759 $x1761 $x1763 $x1767 $x1772 $x1774 $x1778 $x1779 $x1780 $x1781 $x1782 $x1783 $x1784 $x1785 $x1786 $x1787 $x1788 $x1789 $x1790 $x1791 $x1792 $x1793 $x1794 $x1795 $x1796 $x1797 $x1798 $x1799 $x1801 $x1805 $x1808 $x1812 $x1814 $x1817 $x1819 $x1824 $x1826 $x1830 $x1832 $x1837 $x1839 $x1842 $x1844 $x1849 $x1851 $x1854 $x1856 $x1861 $x1865 $x1869 $x1873 $x1876 $x1877 $x1880 $x1881 $x1882 $x1883 $x1884 $x1885 $x1888 $x1891 $x1894 $x1898 $x1902 $x1903 $x1904 $x1905 $x1906 $x1908 $x1910 $x1912 $x1914 $x1916 $x1917 $x1918 $x1919 $x1920 $x1921 $x1922 $x1923 $x1924 $x1926 $x1930 $x1932 $x1937 $x1939 $x1943 $x1945 $x1950 $x1952 $x1954 $x1956 $x1957 $x1959 $x1961 $x1962 $x1963 $x1964 $x1965 $x1966 $x1967 $x1968 $x1969 $x1970 $x1971 $x1972 $x1973 $x1974 $x1975 $x1976 $x1977 $x1978 $x1979 $x1982 $x1986 $x1990 $x1994 $x1996 $x2001 $x2003 $x2005 $x2007 $x2009 $x2013 $x2017 $x2021 $x2025 $x2028 $x2030 $x2032 $x2034 $x2035 $x2036 $x2037 $x2038 $x2039 $x2040 $x2041 $x2042 $x2043 $x2044 $x2045 $x2046 $x2047 $x2048 $x2049 $x2050 $x2051 $x2052 $x2053 $x2054 $x2055 $x2056 $x2057 $x2058 $x2059 $x2060 $x2061 $x2062 $x2063 $x2064 $x2065 $x2066 $x2067 $x2068 $x2069 $x2070 $x2071 $x2072 $x2073 $x2074 $x2075 $x2076 $x2077 $x2078 $x2079 $x2080 $x2081 $x2082 $x2083 $x2084 $x2085 $x2086 $x2087 $x2088 $x2089 $x2090 $x2091 $x2092 $x2093 $x2094 $x2095 $x2096 $x2097 $x2098 $x2099 $x2100 $x2101 $x2102 $x2103 $x2104 $x2105 $x2106 $x2108 $x2110 $x2112 $x2114 $x2118 $x2122 $x2124 $x2126 $x2128 $x2131 $x2133 $x2135 $x2137 $x2139 $x2141 $x2143 $x2146 $x2149 $x2152 $x2155 $x2157 $x2160 $x2162 $x2164 $x2166 $x2168 $x2171 $x2174 $x2177 $x2180 $x2182 $x2185 $x2187 $x2190 $x2192 $x2194 $x2196 $x2198 $x2200 $x2203 $x2205 $x2208 $x2210 $x2212 $x2215 $x2217 $x2219 $x2221 $x2223 $x2225 $x2227 $x2229 $x2231 $x2233 $x2236 $x2238 $x2241 $x2243 $x2246 $x2248 $x2252 $x2256 $x2260 $x2264 $x2268 $x2272 $x2276 $x2278 $x2280 $x2282 $x2285 $x2288 $x2291 $x2294 $x2297 $x2300 $x2303 $x2306 $x2309 $x2312 $x2315 $x2318 $x2321 $x2324 $x2328 $x2331 $x2334 $x2337 $x2340 $x2343 $x2346 $x2350 $x2351 $x2352 $x2353 $x2354 $x438 $x2356 $x2362 $x2365 $x2370 $x2373 $x2377 $x2378 $x2381 $x2382 back_ground_feasible title_bg_feasible main_body_feasible back_top_feasible title_bg_kid_0_feasible title_bg_kid_1_feasible title_bg_kid_2_feasible title_bg_kid_3_feasible title_bg_kid_4_feasible title_bg_kid_5_feasible title_bg_kid_6_feasible title_bg_kid_7_feasible title_bg_kid_8_feasible side_bar_feasible main_feasible main_title_feasible fashion_sales_feasible spring_edit_holder_feasible staples_feasible staple_items_feasible basic_right_feasible shop_occation_feasible icon_tbl_feasible fashion_sales_kid_0_feasible fashion_sales_kid_1_feasible fashion_sales_kid_2_feasible fashion_sales_kid_3_feasible fashion_sales_kid_4_feasible fashion_sales_kid_5_feasible $x2384 $x2385 $x2387 $x2388 $x2390 $x2391 staple_items_kid_0_feasible staple_items_kid_1_feasible staple_items_kid_2_feasible staple_items_kid_3_feasible staple_items_kid_4_feasible staple_items_kid_5_feasible staple_items_kid_6_feasible basic_right_pic_holder_feasible basic_right_bottom_feasible $x2393 $x2394 $x2396 $x2397 basic_right_bottom_kid_0_feasible basic_right_bottom_kid_1_feasible basic_right_bottom_kid_2_feasible basic_right_bottom_kid_3_feasible basic_right_bottom_kid_4_feasible occation_title_feasible occation_pics_feasible occation_pics_kid_0_feasible occation_pics_kid_1_feasible occation_pics_kid_2_feasible occation_pics_kid_3_feasible icon_tbl_kid_0_feasible icon_tbl_kid_1_feasible icon_tbl_kid_2_feasible icon_tbl_kid_3_feasible icon_tbl_kid_4_feasible icon_tbl_kid_5_feasible icon_tbl_kid_6_feasible icon_tbl_kid_7_feasible icon_tbl_kid_8_feasible icon_tbl_kid_9_feasible icon_tbl_kid_10_feasible icon_tbl_kid_11_feasible icon_tbl_kid_12_feasible icon_tbl_kid_13_feasible icon_tbl_kid_14_feasible icon_tbl_kid_15_feasible icon_tbl_kid_16_feasible icon_tbl_kid_17_feasible back_top_kid_0_feasible))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
(check-sat)

